Details

Time bar (total: 18.8s)

sample41.0ms

Algorithm
intervals
Results
21.0ms329×body80valid

simplify4.6s

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.3b

localize23.0ms

Local error

Found 2 expressions with local error:

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

rewrite74.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:
14.0ms
(+ x (* (- y x) (/ z t)))
58.0ms
(* (- y x) (/ z t))

series108.0ms

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

simplify2.8s

Counts
57 → 57
Iterations
IterNodes
done5010
34834
21041
1310
0117

prune313.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize46.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)))

rewrite87.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:
31.0ms
(* (- y x) (/ z t))
15.0ms
(cbrt (* (- y x) (/ z t)))
19.0ms
(cbrt (* (- y x) (/ z t)))
20.0ms
(cbrt (* (- y x) (/ z t)))

series715.0ms

Counts
4 → 12
Calls
4 calls:
79.0ms
(* (- y x) (/ z t))
224.0ms
(cbrt (* (- y x) (/ z t)))
219.0ms
(cbrt (* (- y x) (/ z t)))
193.0ms
(cbrt (* (- y x) (/ z t)))

simplify2.6s

Counts
96 → 96
Iterations
IterNodes
done5002
34472
21082
1389
0164

prune671.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize20.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)

rewrite105.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:
34.0ms
(- (/ (* z y) t) (/ (* x z) t))
48.0ms
(+ x (- (/ (* z y) t) (/ (* x z) t)))
10.0ms
(/ (* z y) t)
10.0ms
(/ (* x z) t)

series208.0ms

Counts
4 → 12
Calls
4 calls:
81.0ms
(- (/ (* z y) t) (/ (* x z) t))
66.0ms
(+ x (- (/ (* z y) t) (/ (* x z) t)))
25.0ms
(/ (* z y) t)
36.0ms
(/ (* x z) t)

simplify1.3s

Counts
92 → 92
Iterations
IterNodes
done5000
21439
1363
0132

prune426.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

localize27.0ms

Local error

Found 2 expressions with local error:

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

rewrite97.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:
14.0ms
(+ x (* (* (- y x) z) (/ 1 t)))
81.0ms
(* (* (- y x) z) (/ 1 t))

series109.0ms

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

simplify2.4s

Counts
61 → 61
Iterations
IterNodes
done5001
33993
21123
1366
0129

prune240.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes443.0ms

Accuracy

-25% (2.2b remaining)

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

bsearch101.0ms

Steps
ItersRangePoint
9
3.9872911890191495e-273
8.567457286578007e-266
4.770204854801331e-270
6
-63360654.56188963
-13569362.173458751
-20778392.899190597

simplify4.0ms

Iterations
IterNodes
done32
132
025

end0.0ms

sample1.3s

Algorithm
intervals
Results
898.0ms10730×body80valid