Details

Time bar (total: 21.8s)

sample58.0ms

Algorithm
intervals
Results
24.0ms282×body80valid

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
done5000
41130
3337
2116
155
030

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.5b

localize77.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ (* (+ z 15.234687407) z) 31.4690115749) z)
0.1b
(* (+ (* z 3.13060547623) 11.1667541262) z)
2.4b
(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
29.6b
(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

rewrite309.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
15×add-cbrt-cube add-exp-log
12×*-un-lft-identity add-cube-cbrt
10×pow1
9×associate-*r* associate-*l*
5×flip3-+ flip-+
4×associate-*l/ prod-exp associate-*r/ cbrt-unprod add-log-exp
3×associate-/r* times-frac pow-prod-down *-commutative unswap-sqr
2×cbrt-undiv div-exp associate-/r/ associate-/l/
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in div-inv associate-/l*
Counts
4 → 87
Calls
4 calls:
41.0ms
(* (+ (* (+ z 15.234687407) z) 31.4690115749) z)
21.0ms
(* (+ (* z 3.13060547623) 11.1667541262) z)
123.0ms
(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
122.0ms
(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

series1.1s

Counts
4 → 12
Calls
4 calls:
51.0ms
(* (+ (* (+ z 15.234687407) z) 31.4690115749) z)
99.0ms
(* (+ (* z 3.13060547623) 11.1667541262) z)
261.0ms
(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
657.0ms
(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

simplify2.3s

Counts
99 → 99
Iterations
IterNodes
done5001
23255
1606
0206

prune1.0s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.7b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* 3.13060547623 y) (* (/ y z) 36.527041698806414))
0.3b
(* (/ y z) 36.527041698806414)
1.7b
(* (/ t z) (/ y z))
2.7b
(+ (- (* 3.13060547623 y) (* (/ y z) 36.527041698806414)) (* (/ t z) (/ y z)))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
32×times-frac
26×*-un-lft-identity associate-*l* add-cube-cbrt
21×add-cbrt-cube add-exp-log
16×associate-*r*
11×add-log-exp
8×pow1
6×frac-add prod-exp cbrt-unprod unswap-sqr
5×cbrt-undiv div-exp
4×flip3-- associate-*l/ flip--
3×frac-times associate-*r/ div-inv
2×associate-+l+ sum-log sub-neg diff-log pow-prod-down *-commutative
1×+-commutative flip3-+ associate-+l- flip-+
Counts
4 → 115
Calls
4 calls:
9.0ms
(- (* 3.13060547623 y) (* (/ y z) 36.527041698806414))
20.0ms
(* (/ y z) 36.527041698806414)
27.0ms
(* (/ t z) (/ y z))
26.0ms
(+ (- (* 3.13060547623 y) (* (/ y z) 36.527041698806414)) (* (/ t z) (/ y z)))

series180.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(- (* 3.13060547623 y) (* (/ y z) 36.527041698806414))
22.0ms
(* (/ y z) 36.527041698806414)
37.0ms
(* (/ t z) (/ y z))
61.0ms
(+ (- (* 3.13060547623 y) (* (/ y z) 36.527041698806414)) (* (/ t z) (/ y z)))

simplify2.2s

Counts
127 → 127
Iterations
IterNodes
done5001
23797
1635
0215

prune964.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.7b

localize57.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
2.7b
(+ (- (* 3.13060547623 y) (* (/ y z) 36.527041698806414)) (* (/ (* (cbrt t) (cbrt t)) 1) (* (/ (cbrt t) z) (/ y z))))
3.2b
(* (/ (* (cbrt t) (cbrt t)) 1) (* (/ (cbrt t) z) (/ y z)))

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
114×add-exp-log
57×add-cbrt-cube
55×prod-exp
40×div-exp
32×cbrt-unprod
22×cbrt-undiv
15×frac-times associate-*r/
14×frac-add
10×1-exp
9×pow1 associate-*l/ add-log-exp
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×flip3-- associate-*l* flip--
6×cbrt-prod
3×times-frac pow-prod-down
2×associate-+l+ sum-log pow1/3
1×+-commutative sub-neg flip3-+ diff-log associate-*r* *-commutative associate-+l- flip-+ div-inv
Counts
4 → 116
Calls
4 calls:
1.0ms
(cbrt t)
1.0ms
(cbrt t)
45.0ms
(+ (- (* 3.13060547623 y) (* (/ y z) 36.527041698806414)) (* (/ (* (cbrt t) (cbrt t)) 1) (* (/ (cbrt t) z) (/ y z))))
62.0ms
(* (/ (* (cbrt t) (cbrt t)) 1) (* (/ (cbrt t) z) (/ y z)))

series910.0ms

Counts
4 → 12
Calls
4 calls:
459.0ms
(cbrt t)
268.0ms
(cbrt t)
104.0ms
(+ (- (* 3.13060547623 y) (* (/ y z) 36.527041698806414)) (* (/ (* (cbrt t) (cbrt t)) 1) (* (/ (cbrt t) z) (/ y z))))
78.0ms
(* (/ (* (cbrt t) (cbrt t)) 1) (* (/ (cbrt t) z) (/ y z)))

simplify1.0s

Counts
128 → 128
Iterations
IterNodes
done5001
1857
0246

prune925.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.7b

localize69.0ms

Local error

Found 4 expressions with local error:

2.7b
(+ (- (* 3.13060547623 y) (* (/ y z) 36.527041698806414)) (* (/ t z) (/ y z)))
13.6b
(cbrt (+ (- (* 3.13060547623 y) (* (/ y z) 36.527041698806414)) (* (/ t z) (/ y z))))
13.6b
(cbrt (+ (- (* 3.13060547623 y) (* (/ y z) 36.527041698806414)) (* (/ t z) (/ y z))))
13.6b
(cbrt (+ (- (* 3.13060547623 y) (* (/ y z) 36.527041698806414)) (* (/ t z) (/ y z))))

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
24×cbrt-div frac-add
12×flip3-- flip--
9×cbrt-prod add-log-exp
8×frac-times associate-*l/ associate-*r/
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 flip3-+ add-cbrt-cube add-exp-log flip-+
3×pow1/3
2×associate-+l+ sum-log
1×+-commutative sub-neg diff-log associate-+l-
Counts
4 → 78
Calls
4 calls:
38.0ms
(+ (- (* 3.13060547623 y) (* (/ y z) 36.527041698806414)) (* (/ t z) (/ y z)))
25.0ms
(cbrt (+ (- (* 3.13060547623 y) (* (/ y z) 36.527041698806414)) (* (/ t z) (/ y z))))
19.0ms
(cbrt (+ (- (* 3.13060547623 y) (* (/ y z) 36.527041698806414)) (* (/ t z) (/ y z))))
14.0ms
(cbrt (+ (- (* 3.13060547623 y) (* (/ y z) 36.527041698806414)) (* (/ t z) (/ y z))))

series1.0s

Counts
4 → 12
Calls
4 calls:
65.0ms
(+ (- (* 3.13060547623 y) (* (/ y z) 36.527041698806414)) (* (/ t z) (/ y z)))
323.0ms
(cbrt (+ (- (* 3.13060547623 y) (* (/ y z) 36.527041698806414)) (* (/ t z) (/ y z))))
303.0ms
(cbrt (+ (- (* 3.13060547623 y) (* (/ y z) 36.527041698806414)) (* (/ t z) (/ y z))))
328.0ms
(cbrt (+ (- (* 3.13060547623 y) (* (/ y z) 36.527041698806414)) (* (/ t z) (/ y z))))

simplify1.6s

Counts
90 → 90
Iterations
IterNodes
done5001
21365
1353
0141

prune823.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.7b

regimes1.9s

Accuracy

97.2% (0.8b remaining)

Error of 1.0b against oracle of 0.3b and baseline of 27.2b

bsearch525.0ms

Steps
ItersRangePoint
8
1.2451536107620915e+24
9.583338110176862e+26
8.547714906039646e+26
9
-7.557965777348655e+48
-3.570751249498963e+39
-1.1377676592436387e+43

simplify16.0ms

Iterations
IterNodes
done77
177
050

end0.0ms

sample2.8s

Algorithm
intervals
Results
2.0s8864×body80valid