Details

Time bar (total: 19.8s)

sample41.0ms

Algorithm
intervals
Results
25.0ms310×body80valid

simplify5.0s

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

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite54.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 insert-posit16 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 → 53
Calls
2 calls:
31.0ms
(+ x (/ (- y x) z))
19.0ms
(/ (- y x) z)

series79.0ms

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

simplify2.2s

Counts
59 → 59
Iterations
IterNodes
done5025
33040
2667
1232
096

prune256.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 3 expressions with local error:

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

rewrite150.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
111×*-un-lft-identity
107×add-sqr-sqrt
73×add-cube-cbrt
31×associate-/r*
21×associate-/r/
17×distribute-lft-out-- difference-of-squares
16×add-exp-log
10×add-cbrt-cube associate-/l*
8×div-exp
7×div-inv
5×flip3-- flip-- add-log-exp
4×pow1 cbrt-undiv clear-num
3×frac-2neg insert-posit16
2×rec-exp 1-exp distribute-lft-out remove-double-div
1×+-commutative sum-log flip3-+ flip-+ pow-flip inv-pow
Counts
3 → 173
Calls
3 calls:
71.0ms
(+ x (/ 1 (/ z (- y x))))
19.0ms
(/ z (- y x))
51.0ms
(/ 1 (/ z (- y x)))

series125.0ms

Counts
3 → 9
Calls
3 calls:
25.0ms
(+ x (/ 1 (/ z (- y x))))
48.0ms
(/ z (- y x))
53.0ms
(/ 1 (/ z (- y x)))

simplify1.9s

Counts
182 → 182
Iterations
IterNodes
done5000
21668
1572
0233

prune618.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (- y x)) (cbrt (- y x)))
0.6b
(cbrt (- y x))
0.6b
(cbrt (- y x))
0.6b
(cbrt (- y x))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
43×cbrt-prod
37×add-sqr-sqrt
35×*-un-lft-identity
18×cbrt-div
15×add-cube-cbrt
11×pow1
10×swap-sqr
9×flip3-- pow1/3 flip-- distribute-lft-out--
8×add-cbrt-cube associate-*r* associate-*l*
7×difference-of-squares
6×add-exp-log
4×frac-times cbrt-unprod insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative
Counts
4 → 108
Calls
4 calls:
80.0ms
(* (cbrt (- y x)) (cbrt (- y x)))
8.0ms
(cbrt (- y x))
8.0ms
(cbrt (- y x))
7.0ms
(cbrt (- y x))

series753.0ms

Counts
4 → 12
Calls
4 calls:
142.0ms
(* (cbrt (- y x)) (cbrt (- y x)))
181.0ms
(cbrt (- y x))
202.0ms
(cbrt (- y x))
227.0ms
(cbrt (- y x))

simplify1.6s

Counts
120 → 120
Iterations
IterNodes
done5002
31830
2724
1299
0136

prune472.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (/ z (- y x))) (cbrt (/ z (- y x))))
5.2b
(cbrt (/ z (- y x)))
5.2b
(cbrt (/ z (- y x)))
5.2b
(cbrt (/ z (- y x)))

rewrite230.0ms

Algorithm
rewrite-expression-head
Rules
297×cbrt-div
249×add-sqr-sqrt
243×*-un-lft-identity
171×cbrt-prod
135×associate-/r*
129×add-cube-cbrt
123×times-frac
121×frac-times
81×associate-/l*
54×distribute-lft-out--
48×difference-of-squares
30×swap-sqr
27×clear-num frac-2neg
24×associate-*r* associate-*l*
14×associate-/r/
11×pow1 associate-*l/ associate-*r/
9×pow1/3 unswap-sqr
8×add-cbrt-cube
7×flip3-- div-inv flip--
6×add-exp-log
4×cbrt-unprod insert-posit16 add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative
Counts
4 → 375
Calls
4 calls:
137.0ms
(* (cbrt (/ z (- y x))) (cbrt (/ z (- y x))))
17.0ms
(cbrt (/ z (- y x)))
23.0ms
(cbrt (/ z (- y x)))
18.0ms
(cbrt (/ z (- y x)))

series991.0ms

Counts
4 → 12
Calls
4 calls:
260.0ms
(* (cbrt (/ z (- y x))) (cbrt (/ z (- y x))))
226.0ms
(cbrt (/ z (- y x)))
258.0ms
(cbrt (/ z (- y x)))
247.0ms
(cbrt (/ z (- y x)))

simplify2.1s

Counts
387 → 387
Iterations
IterNodes
done5004
33405
21283
1662
0405

prune1.9s

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes167.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
done7
17
06

end0.0ms

sample992.0ms

Algorithm
intervals
Results
686.0ms10113×body80valid