Details

Time bar (total: 19.7s)

sample26.0ms

Algorithm
intervals
Results
11.0ms315×body80valid

simplify6.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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 2 expressions with local error:

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

rewrite80.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-cbrt-cube add-exp-log distribute-lft-out-- add-log-exp difference-of-squares
3×associate-/r* fma-def
2×expm1-log1p-u pow1 div-sub log1p-expm1-u 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 → 58
Calls
2 calls:
26.0ms
(/ (- y x) z)
50.0ms
(+ x (/ (- y x) z))

series102.0ms

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

simplify2.4s

Counts
64 → 64
Iterations
IterNodes
done5000
33806
2688
1239
098

prune330.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize15.0ms

Local error

Found 3 expressions with local error:

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

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
107×*-un-lft-identity
104×add-sqr-sqrt
72×add-cube-cbrt
26×associate-/r*
16×add-exp-log distribute-lft-out-- difference-of-squares
11×associate-/r/
10×add-cbrt-cube
8×div-exp
7×div-inv
6×associate-/l*
5×flip3-- flip-- add-log-exp
4×pow1 cbrt-undiv
3×expm1-log1p-u fma-def log1p-expm1-u
2×rec-exp clear-num frac-2neg 1-exp distribute-lft-out
1×+-commutative sum-log flip3-+ flip-+ pow-flip inv-pow
Counts
3 → 167
Calls
3 calls:
18.0ms
(/ z (- y x))
64.0ms
(+ x (/ 1 (/ z (- y x))))
18.0ms
(/ 1 (/ z (- y x)))

series155.0ms

Counts
3 → 9
Calls
3 calls:
56.0ms
(/ z (- y x))
40.0ms
(+ x (/ 1 (/ z (- y x))))
59.0ms
(/ 1 (/ z (- y x)))

simplify1.6s

Counts
176 → 176
Iterations
IterNodes
done5004
21681
1569
0230

prune738.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
52×add-exp-log
48×add-sqr-sqrt
45×*-un-lft-identity
35×times-frac
27×add-cube-cbrt
21×associate-*r*
20×add-cbrt-cube div-exp
16×prod-exp
10×pow1 rec-exp 1-exp
7×distribute-lft-out-- difference-of-squares
6×cbrt-undiv associate-/r* associate-/r/ associate-/l* add-log-exp
4×expm1-log1p-u cbrt-unprod log1p-expm1-u div-inv
3×fma-def associate-*l* pow-flip unswap-sqr
2×clear-num frac-2neg flip3-- pow-prod-down associate-*r/ un-div-inv flip-- distribute-lft-out inv-pow
1×+-commutative sum-log flip3-+ *-commutative flip-+
Counts
4 → 149
Calls
4 calls:
12.0ms
(+ x (/ 1 (* z (/ 1 (- y x)))))
10.0ms
(/ 1 (- y x))
34.0ms
(* z (/ 1 (- y x)))
23.0ms
(/ 1 (* z (/ 1 (- y x))))

series170.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(+ x (/ 1 (* z (/ 1 (- y x)))))
40.0ms
(/ 1 (- y x))
52.0ms
(* z (/ 1 (- y x)))
50.0ms
(/ 1 (* z (/ 1 (- y x))))

simplify2.3s

Counts
161 → 161
Iterations
IterNodes
done5000
33777
21054
1433
0177

prune610.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
157×cbrt-prod
141×add-sqr-sqrt
135×*-un-lft-identity
123×times-frac
75×add-cube-cbrt
28×swap-sqr
27×distribute-lft-out--
22×associate-*r* associate-*l*
21×difference-of-squares
11×pow1
9×pow1/3 unswap-sqr
7×cbrt-div div-inv
6×add-exp-log
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 frac-times pow-plus associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod
Counts
4 → 194
Calls
4 calls:
79.0ms
(* (cbrt (/ (- y x) z)) (cbrt (/ (- y x) z)))
7.0ms
(cbrt (/ (- y x) z))
7.0ms
(cbrt (/ (- y x) z))
7.0ms
(cbrt (/ (- y x) z))

series695.0ms

Counts
4 → 12
Calls
4 calls:
202.0ms
(* (cbrt (/ (- y x) z)) (cbrt (/ (- y x) z)))
145.0ms
(cbrt (/ (- y x) z))
181.0ms
(cbrt (/ (- y x) z))
166.0ms
(cbrt (/ (- y x) z))

simplify1.8s

Counts
206 → 206
Iterations
IterNodes
done5002
32538
21003
1470
0236

prune1.3s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes236.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

sample731.0ms

Algorithm
intervals
Results
351.0ms10165×body80valid