Details

Time bar (total: 14.2s)

sample39.0ms

Algorithm
intervals
Results
16.0ms330×body80valid

simplify5.4s

Counts
1 → 1
Iterations
IterNodes
done5000
1244958
1234925
1224883
1214845
1204798
1194765
1184716
1174684
1164637
1154598
1144556
1134524
1124471
1114438
1104396
1094358
1084311
1074278
1064229
1054197
1044150
1034113
1024071
1014039
1003986
993953
983911
973869
963822
953789
943744
933712
923665
913628
903586
893554
883501
873468
863426
853384
843337
833304
823257
813225
803178
793139
783097
773065
763012
752979
742937
732899
722852
712819
702770
692738
682691
672654
662612
652580
642527
632494
622452
612410
602363
592330
582283
572251
562204
552167
542125
532093
522040
512007
501965
491927
481880
471847
461800
451768
441721
431684
421642
411610
401557
391524
381482
371444
361397
351364
341317
331285
321238
311201
301159
291127
281074
271041
26999
25961
24914
23881
22836
21804
20757
19718
18670
17633
16596
15570
14503
13459
12375
11327
10275
9235
8183
7143
693
554
438
328
219
112
06

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (/ (- y x) z))
0.0b
(/ (- y x) z)

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
20×add-sqr-sqrt
15×times-frac
12×add-cube-cbrt
5×associate-/l*
4×add-cbrt-cube add-exp-log distribute-lft-out-- add-log-exp difference-of-squares
3×associate-/r*
2×pow1 div-sub associate-/l/
1×cbrt-undiv +-commutative clear-num associate-+r- sum-log frac-2neg flip3-+ flip3-- div-exp flip-+ div-inv flip-- distribute-lft-out
Counts
2 → 51
Calls
2 calls:
17.0ms
(+ x (/ (- y x) z))
24.0ms
(/ (- y x) z)

series94.0ms

Counts
2 → 6
Calls
2 calls:
31.0ms
(+ x (/ (- y x) z))
63.0ms
(/ (- y x) z)

simplify2.4s

Counts
57 → 57
Iterations
IterNodes
done5021
33290
2676
1230
094

prune238.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (+ x (/ y z)) (/ x z))
0.0b
(+ x (/ y z))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
9×*-un-lft-identity add-log-exp
7×add-sqr-sqrt
2×pow1 sum-log flip3-+ add-cbrt-cube diff-log add-exp-log frac-sub add-cube-cbrt flip-+ distribute-lft-out distribute-lft-out-- difference-of-squares
1×+-commutative sub-neg times-frac flip3-- associate--l+ flip--
Counts
2 → 32
Calls
2 calls:
119.0ms
(- (+ x (/ y z)) (/ x z))
11.0ms
(+ x (/ y z))

series75.0ms

Counts
2 → 6
Calls
2 calls:
44.0ms
(- (+ x (/ y z)) (/ x z))
31.0ms
(+ x (/ y z))

simplify1.6s

Counts
38 → 38
Iterations
IterNodes
done5007
31708
2503
1164
065

prune169.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (* (- y x) (/ 1 z)))
0.3b
(* (- y x) (/ 1 z))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
13×*-un-lft-identity associate-*r*
11×times-frac add-exp-log
10×add-cube-cbrt
7×add-cbrt-cube
5×associate-*l*
4×pow1 prod-exp add-log-exp
3×unswap-sqr
2×frac-times flip3-- div-exp associate-*l/ cbrt-unprod flip--
1×cbrt-undiv +-commutative rec-exp sum-log flip3-+ 1-exp pow-prod-down associate-*r/ un-div-inv *-commutative flip-+ div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 53
Calls
2 calls:
10.0ms
(+ x (* (- y x) (/ 1 z)))
50.0ms
(* (- y x) (/ 1 z))

series79.0ms

Counts
2 → 6
Calls
2 calls:
29.0ms
(+ x (* (- y x) (/ 1 z)))
50.0ms
(* (- y x) (/ 1 z))

simplify2.6s

Counts
59 → 59
Iterations
IterNodes
done5007
33271
2930
1307
0117

prune286.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes134.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done8
18
07

end0.0ms

sample738.0ms

Algorithm
intervals
Results
360.0ms10100×body80valid