Details

Time bar (total: 48.8s)

sample134.0ms

Algorithm
intervals
Results
62.0ms315×body80valid

simplify9.2s

Counts
1 → 1
Iterations
IterNodes
done5000
1594976
1584941
1574915
1564876
1554852
1544809
1534785
1524754
1514726
1504691
1494665
1484626
1474600
1464565
1454541
1444502
1434474
1424443
1414415
1404380
1394354
1384315
1374291
1364256
1354232
1344193
1334165
1324134
1314106
1304067
1294043
1284000
1273974
1263943
1253915
1243880
1233854
1223819
1213793
1203758
1193734
1183699
1173673
1163634
1153610
1143575
1133551
1123508
1113482
1103451
1093423
1083388
1073362
1063323
1053299
1043260
1033232
1023201
1013173
1003138
993112
983073
973047
963012
952988
942945
932919
922888
912860
902825
892799
882760
872736
862697
852669
842638
832610
822575
812549
802514
792488
782449
772425
762386
752358
742327
732299
722260
712236
702197
692169
682138
672110
662075
652049
642010
631986
621947
611919
601888
591860
581821
571795
561760
551736
541693
531667
521636
511608
501569
491545
481502
471476
461445
451417
441378
431354
421311
411287
401256
391228
381189
371165
361130
351106
341063
331039
321008
31980
30945
29919
28884
27860
26825
25799
24760
23736
22697
21669
20638
19610
18575
17551
16512
15488
14452
13427
12367
11327
10281
9240
8182
7141
693
554
438
328
219
112
06

prune50.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize128.0ms

Local error

Found 2 expressions with local error:

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

rewrite346.0ms

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity
21×add-sqr-sqrt
15×times-frac
13×add-cube-cbrt
5×associate-/l*
4×add-exp-log add-cbrt-cube distribute-lft-out-- add-log-exp difference-of-squares
3×fma-def associate-/r*
2×pow1 expm1-log1p-u div-sub log1p-expm1-u associate-/l/
1×cbrt-undiv +-commutative associate-+r- flip3-- frac-2neg flip3-+ div-exp clear-num sum-log flip-- flip-+ div-inv distribute-lft-out
Counts
2 → 58
Calls
2 calls:
94.0ms
(+ x (/ (- y x) z))
235.0ms
(/ (- y x) z)

series218.0ms

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

simplify9.2s

Counts
64 → 64
Iterations
IterNodes
done5003
33133
2685
1239
098

prune768.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 2 expressions with local error:

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

rewrite88.0ms

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

series98.0ms

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

simplify6.4s

Counts
66 → 66
Iterations
IterNodes
done5002
33305
2940
1316
0121

prune484.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- y x) z)
0.1b
(* (* (/ (- y x) z) (/ (- y x) z)) (/ (- y x) z))
0.3b
(* (/ (- y x) z) (/ (- y x) z))
35.4b
(cbrt (* (* (/ (- y x) z) (/ (- y x) z)) (/ (- y x) z)))

rewrite479.0ms

Algorithm
rewrite-expression-head
Rules
119×*-un-lft-identity
116×add-sqr-sqrt
107×times-frac
63×add-cube-cbrt
59×add-exp-log add-cbrt-cube
38×associate-*r*
30×pow1
25×swap-sqr distribute-lft-out--
22×prod-exp cbrt-unprod
20×associate-*l*
19×difference-of-squares
18×cbrt-undiv div-exp
11×frac-times associate-*l/
7×cbrt-div pow-plus associate-*r/ pow-prod-up
6×div-inv unswap-sqr
5×associate-/l*
4×expm1-log1p-u pow-prod-down log1p-expm1-u add-log-exp
3×pow2 associate-/r* pow-sqr
2×pow3 *-commutative associate-/l/
1×cbrt-prod flip3-- frac-2neg pow1/3 div-sub clear-num flip-- rem-cbrt-cube
Counts
4 → 222
Calls
4 calls:
35.0ms
(/ (- y x) z)
174.0ms
(* (* (/ (- y x) z) (/ (- y x) z)) (/ (- y x) z))
108.0ms
(* (/ (- y x) z) (/ (- y x) z))
141.0ms
(cbrt (* (* (/ (- y x) z) (/ (- y x) z)) (/ (- y x) z)))

series359.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(/ (- y x) z)
110.0ms
(* (* (/ (- y x) z) (/ (- y x) z)) (/ (- y x) z))
56.0ms
(* (/ (- y x) z) (/ (- y x) z))
146.0ms
(cbrt (* (* (/ (- y x) z) (/ (- y x) z)) (/ (- y x) z)))

simplify8.3s

Counts
234 → 234
Iterations
IterNodes
done5006
23567
1843
0255

prune1.7s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize25.0ms

Local error

Found 2 expressions with local error:

0.2b
(fma (sqrt x) (sqrt x) (* (- y x) (/ 1 z)))
0.3b
(* (- y x) (/ 1 z))

rewrite80.0ms

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

series285.0ms

Counts
2 → 6
Calls
2 calls:
231.0ms
(fma (sqrt x) (sqrt x) (* (- y x) (/ 1 z)))
55.0ms
(* (- y x) (/ 1 z))

simplify7.9s

Counts
60 → 60
Iterations
IterNodes
done5001
32652
2835
1296
0120

prune691.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes583.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done7
17
06

end0.0ms

sample1.1s

Algorithm
intervals
Results
547.0ms10059×body80valid