Details

Time bar (total: 44.1s)

sample84.0ms

Algorithm
intervals
Results
38.0ms296×body80valid

simplify4.8s

Counts
1 → 1
Iterations
IterNodes
done5004
52954
41007
3333
2114
155
030

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.0b

localize290.0ms

Local error

Found 4 expressions with local error:

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

rewrite945.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 insert-posit16 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 → 91
Calls
4 calls:
111.0ms
(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
91.0ms
(* (+ (* z 3.13060547623) 11.1667541262) z)
395.0ms
(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
341.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.6s

Counts
4 → 12
Calls
4 calls:
54.0ms
(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
94.0ms
(* (+ (* z 3.13060547623) 11.1667541262) z)
370.0ms
(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
1.1s
(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

simplify4.7s

Counts
103 → 103
Iterations
IterNodes
done5003
22309
1603
0210

prune1.9s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.5b

localize97.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* y 3.13060547623) (/ (* y 36.527041698806414) z))
0.2b
(/ (* y 36.527041698806414) z)
2.5b
(+ (* (/ t z) (/ y z)) (- (* y 3.13060547623) (/ (* y 36.527041698806414) z)))
2.5b
(* (/ t z) (/ y z))

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
25×times-frac
21×add-cbrt-cube add-exp-log
20×*-un-lft-identity add-cube-cbrt
13×associate-*r* associate-*l*
11×add-log-exp
6×pow1 cbrt-undiv div-exp frac-add
5×prod-exp cbrt-unprod
4×flip3-- insert-posit16 flip-- unswap-sqr
3×frac-times associate-/r* associate-*l/ associate-*r/ div-inv
2×associate-+r+ sum-log sub-neg diff-log
1×+-commutative clear-num associate-+r- frac-2neg flip3-+ pow-prod-down *-commutative flip-+ associate-/l*
Counts
4 → 108
Calls
4 calls:
20.0ms
(- (* y 3.13060547623) (/ (* y 36.527041698806414) z))
20.0ms
(/ (* y 36.527041698806414) z)
67.0ms
(+ (* (/ t z) (/ y z)) (- (* y 3.13060547623) (/ (* y 36.527041698806414) z)))
49.0ms
(* (/ t z) (/ y z))

series236.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(- (* y 3.13060547623) (/ (* y 36.527041698806414) z))
24.0ms
(/ (* y 36.527041698806414) z)
89.0ms
(+ (* (/ t z) (/ y z)) (- (* y 3.13060547623) (/ (* y 36.527041698806414) z)))
50.0ms
(* (/ t z) (/ y z))

simplify4.5s

Counts
120 → 120
Iterations
IterNodes
done5003
23111
1683
0211

prune1.9s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.5b

localize223.0ms

Local error

Found 4 expressions with local error:

2.5b
(* (/ t z) (/ y z))
28.3b
(cbrt (* (/ t z) (/ y z)))
28.3b
(cbrt (* (/ t z) (/ y z)))
28.3b
(cbrt (* (/ t z) (/ y z)))

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
22×times-frac
18×*-un-lft-identity add-cube-cbrt
16×add-cbrt-cube add-exp-log
13×associate-*r* associate-*l*
9×cbrt-div
6×pow1
4×frac-times cbrt-undiv div-exp associate-*l/ prod-exp associate-*r/ cbrt-unprod insert-posit16 add-log-exp unswap-sqr
3×cbrt-prod pow1/3
2×div-inv
1×pow-prod-down *-commutative
Counts
4 → 90
Calls
4 calls:
59.0ms
(* (/ t z) (/ y z))
32.0ms
(cbrt (* (/ t z) (/ y z)))
18.0ms
(cbrt (* (/ t z) (/ y z)))
17.0ms
(cbrt (* (/ t z) (/ y z)))

series700.0ms

Counts
4 → 12
Calls
4 calls:
65.0ms
(* (/ t z) (/ y z))
232.0ms
(cbrt (* (/ t z) (/ y z)))
218.0ms
(cbrt (* (/ t z) (/ y z)))
184.0ms
(cbrt (* (/ t z) (/ y z)))

simplify3.7s

Counts
102 → 102
Iterations
IterNodes
done5003
21273
1395
0145

prune2.5s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.5b

localize274.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt z) (cbrt z))
0.8b
(* (/ 1 (* (cbrt z) (cbrt z))) (* (/ t (cbrt z)) (/ y z)))
2.5b
(+ (* (/ 1 (* (cbrt z) (cbrt z))) (* (/ t (cbrt z)) (/ y z))) (- (* y 3.13060547623) (/ (* y 36.527041698806414) z)))
4.5b
(* (/ t (cbrt z)) (/ y z))

rewrite716.0ms

Algorithm
rewrite-expression-head
Rules
169×add-exp-log
83×prod-exp
67×add-cbrt-cube
61×add-sqr-sqrt
52×div-exp
37×times-frac cbrt-unprod
35×associate-*l*
34×*-un-lft-identity add-cube-cbrt
27×cbrt-prod
26×cbrt-undiv
20×associate-*r*
18×pow1
16×frac-times associate-*r/
14×frac-add
10×rec-exp 1-exp associate-*l/ unswap-sqr
9×add-log-exp
7×flip3-- flip--
6×pow1/3 swap-sqr pow-prod-down
4×insert-posit16
3×*-commutative div-inv
2×associate-+r+ sum-log pow-sqr pow-prod-up
1×pow2 +-commutative associate-+r- sub-neg flip3-+ pow-plus diff-log flip-+
Counts
4 → 209
Calls
4 calls:
47.0ms
(* (cbrt z) (cbrt z))
301.0ms
(* (/ 1 (* (cbrt z) (cbrt z))) (* (/ t (cbrt z)) (/ y z)))
250.0ms
(+ (* (/ 1 (* (cbrt z) (cbrt z))) (* (/ t (cbrt z)) (/ y z))) (- (* y 3.13060547623) (/ (* y 36.527041698806414) z)))
75.0ms
(* (/ t (cbrt z)) (/ y z))

series821.0ms

Counts
4 → 12
Calls
4 calls:
278.0ms
(* (cbrt z) (cbrt z))
103.0ms
(* (/ 1 (* (cbrt z) (cbrt z))) (* (/ t (cbrt z)) (/ y z)))
108.0ms
(+ (* (/ 1 (* (cbrt z) (cbrt z))) (* (/ t (cbrt z)) (/ y z))) (- (* y 3.13060547623) (/ (* y 36.527041698806414) z)))
331.0ms
(* (/ t (cbrt z)) (/ y z))

simplify3.5s

Counts
221 → 221
Iterations
IterNodes
done5001
11292
0365

prune3.4s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.5b

regimes3.5s

Accuracy

94.6% (1.4b remaining)

Error of 1.8b against oracle of 0.4b and baseline of 26.9b

bsearch531.0ms

Steps
ItersRangePoint
9
1494384803785.8286
1.6453422744072784e+17
1.43696004741907e+17
11
-8.964901439259961e+39
-12360320489.129633
-8.121332546661932e+24

simplify67.0ms

Iterations
IterNodes
done88
188
059

end0.0ms

sample2.9s

Algorithm
intervals
Results
2.2s8941×body80valid