Details

Time bar (total: 7.1s)

sample37.0ms

Algorithm
intervals
Results
22.0ms330×body80valid

simplify1.9s

Counts
1 → 1
Iterations
IterNodes
done2000
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
(/ (- y x) z)
0.0b
(+ x (/ (- y x) z))

rewrite27.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:
12.0ms
(/ (- y x) z)
14.0ms
(+ x (/ (- y x) z))

series93.0ms

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

simplify445.0ms

Counts
59 → 59
Iterations
IterNodes
done2011
2661
1232
096

prune206.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
106×*-un-lft-identity
103×add-sqr-sqrt
71×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×insert-posit16
2×rec-exp clear-num frac-2neg 1-exp distribute-lft-out
1×+-commutative sum-log flip3-+ flip-+ pow-flip inv-pow
Counts
3 → 161
Calls
3 calls:
27.0ms
(+ x (/ 1 (/ z (- y x))))
12.0ms
(/ z (- y x))
21.0ms
(/ 1 (/ z (- y x)))

series128.0ms

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

simplify717.0ms

Counts
170 → 170
Iterations
IterNodes
done2017
21685
1559
0227

prune631.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
52×add-exp-log
47×add-sqr-sqrt
44×*-un-lft-identity
35×times-frac
26×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×cbrt-unprod insert-posit16 div-inv
3×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 → 142
Calls
4 calls:
8.0ms
(/ 1 (- y x))
8.0ms
(+ x (/ 1 (* z (/ 1 (- y x)))))
19.0ms
(* z (/ 1 (- y x)))
23.0ms
(/ 1 (* z (/ 1 (- y x))))

series220.0ms

Counts
4 → 12
Calls
4 calls:
75.0ms
(/ 1 (- y x))
42.0ms
(+ x (/ 1 (* z (/ 1 (- y x)))))
53.0ms
(* z (/ 1 (- y x)))
51.0ms
(/ 1 (* z (/ 1 (- y x))))

simplify709.0ms

Counts
154 → 154
Iterations
IterNodes
done2001
21042
1420
0173

prune425.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes127.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.3s

Algorithm
intervals
Results
992.0ms10137×body80valid