Details

Time bar (total: 45.7s)

sample48.0ms

Algorithm
intervals
Results
17.0ms329×body80valid

simplify9.8s

Counts
1 → 1
Iterations
IterNodes
done5001
154637
143604
131771
12909
11592
10461
9348
8266
7202
6169
5138
496
356
225
114
08

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.4b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (* (- y x) (/ z t)))
7.6b
(* (- y x) (/ z t))

rewrite76.0ms

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

series194.0ms

Counts
2 → 6
Calls
2 calls:
101.0ms
(+ x (* (- y x) (/ z t)))
93.0ms
(* (- y x) (/ z t))

simplify7.7s

Counts
57 → 57
Iterations
IterNodes
done5001
34802
21043
1310
0117

prune806.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize93.0ms

Local error

Found 4 expressions with local error:

7.6b
(* (- y x) (/ z t))
8.0b
(cbrt (* (- y x) (/ z t)))
8.0b
(cbrt (* (- y x) (/ z t)))
8.0b
(cbrt (* (- y x) (/ z t)))

rewrite157.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
15×cbrt-div
14×*-un-lft-identity
13×associate-*r*
12×add-cube-cbrt
10×times-frac
9×add-cbrt-cube add-exp-log
8×frac-times flip3-- associate-*l/ flip--
6×pow1
5×associate-*l*
4×associate-*r/ insert-posit16 add-log-exp
3×cbrt-prod pow1/3
2×prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv div-exp pow-prod-down *-commutative div-inv distribute-lft-out-- difference-of-squares
Counts
4 → 84
Calls
4 calls:
66.0ms
(* (- y x) (/ z t))
28.0ms
(cbrt (* (- y x) (/ z t)))
29.0ms
(cbrt (* (- y x) (/ z t)))
29.0ms
(cbrt (* (- y x) (/ z t)))

series1.4s

Counts
4 → 12
Calls
4 calls:
111.0ms
(* (- y x) (/ z t))
458.0ms
(cbrt (* (- y x) (/ z t)))
435.0ms
(cbrt (* (- y x) (/ z t)))
416.0ms
(cbrt (* (- y x) (/ z t)))

simplify7.3s

Counts
96 → 96
Iterations
IterNodes
done5004
34520
21105
1389
0164

prune1.8s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (* z y) t) (/ (* x z) t))
0.0b
(+ x (- (/ (* z y) t) (/ (* x z) t)))
5.3b
(/ (* z y) t)
5.4b
(/ (* x z) t)

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
14×add-cbrt-cube add-exp-log
11×add-log-exp
10×add-sqr-sqrt
8×add-cube-cbrt
6×associate-/r* times-frac
4×pow1 cbrt-undiv div-exp insert-posit16 div-inv
2×associate-+r+ clear-num sum-log sub-neg frac-2neg diff-log prod-exp cbrt-unprod distribute-lft-out associate-/l* distribute-lft-out--
1×+-commutative associate-+r- flip3-+ flip3-- distribute-rgt-out-- frac-sub flip-+ flip-- sub-div difference-of-squares
Counts
4 → 80
Calls
4 calls:
26.0ms
(- (/ (* z y) t) (/ (* x z) t))
90.0ms
(+ x (- (/ (* z y) t) (/ (* x z) t)))
23.0ms
(/ (* z y) t)
23.0ms
(/ (* x z) t)

series279.0ms

Counts
4 → 12
Calls
4 calls:
104.0ms
(- (/ (* z y) t) (/ (* x z) t))
101.0ms
(+ x (- (/ (* z y) t) (/ (* x z) t)))
36.0ms
(/ (* z y) t)
38.0ms
(/ (* x z) t)

simplify2.7s

Counts
92 → 92
Iterations
IterNodes
done5001
21433
1362
0132

prune1.1s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0b

localize45.0ms

Local error

Found 2 expressions with local error:

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

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
24×add-exp-log
14×add-cbrt-cube
13×associate-*r*
12×prod-exp
9×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
7×pow1
6×associate-*l/ cbrt-unprod
4×div-exp add-log-exp
3×pow-prod-down
2×frac-times cbrt-undiv rec-exp flip3-- 1-exp insert-posit16 flip--
1×+-commutative sum-log flip3-+ associate-*l* associate-*r/ un-div-inv *-commutative flip-+ div-inv
Counts
2 → 55
Calls
2 calls:
10.0ms
(+ x (* (* (- y x) z) (/ 1 t)))
106.0ms
(* (* (- y x) z) (/ 1 t))

series168.0ms

Counts
2 → 6
Calls
2 calls:
81.0ms
(+ x (* (* (- y x) z) (/ 1 t)))
87.0ms
(* (* (- y x) z) (/ 1 t))

simplify7.3s

Counts
61 → 61
Iterations
IterNodes
done5102
34097
21122
1372
0129

prune565.0ms

Pruning

9 alts after pruning (5 fresh and 4 done)

Merged error: 0b

regimes2.1s

Accuracy

-26.4% (2.3b remaining)

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

bsearch91.0ms

Steps
ItersRangePoint
4
1.3326889669136014e-278
2.374399261124559e-278
1.709797410018517e-278
6
-63360654.56188963
-13569362.173458751
-20778392.899190597

simplify8.0ms

Iterations
IterNodes
done27
127
020

end0.0ms

sample1.6s

Algorithm
intervals
Results
957.0ms10730×body80valid