Details

Time bar (total: 19.8s)

sample91.0ms

Algorithm
intervals
Results
48.0ms284×body80valid

simplify2.4s

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

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.2b

localize113.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)
3.6b
(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
29.1b
(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

rewrite393.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:
54.0ms
(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
29.0ms
(* (+ (* z 3.13060547623) 11.1667541262) z)
161.0ms
(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
147.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.0s

Counts
4 → 12
Calls
4 calls:
58.0ms
(* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z)
110.0ms
(* (+ (* z 3.13060547623) 11.1667541262) z)
234.0ms
(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
645.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))

simplify3.4s

Counts
103 → 103
Iterations
IterNodes
done5005
22304
1602
0210

prune997.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.2b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 3.13060547623 y) (- (* (/ t z) (/ y z)) (* 36.527041698806414 (/ y z))))
0.3b
(* 36.527041698806414 (/ y z))
2.6b
(- (* (/ t z) (/ y z)) (* 36.527041698806414 (/ y z)))
3.2b
(* (/ t z) (/ y z))

rewrite117.0ms

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

series255.0ms

Counts
4 → 12
Calls
4 calls:
81.0ms
(+ (* 3.13060547623 y) (- (* (/ t z) (/ y z)) (* 36.527041698806414 (/ y z))))
37.0ms
(* 36.527041698806414 (/ y z))
88.0ms
(- (* (/ t z) (/ y z)) (* 36.527041698806414 (/ y z)))
49.0ms
(* (/ t z) (/ y z))

simplify1.4s

Counts
131 → 131
Iterations
IterNodes
done5000
22214
1601
0200

prune698.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.2b

localize53.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (/ y z) z)
0.3b
(* 36.527041698806414 (/ y z))
2.6b
(- (* t (/ (/ y z) z)) (* 36.527041698806414 (/ y z)))
7.8b
(* t (/ (/ y z) z))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
154×times-frac
104×add-sqr-sqrt
90×*-un-lft-identity add-cube-cbrt
56×associate-*r*
23×add-cbrt-cube add-exp-log
13×associate-/l*
10×div-inv
8×pow1
7×cbrt-undiv div-exp
6×associate-*l* associate-*r/ add-log-exp
5×prod-exp cbrt-unprod unswap-sqr
4×insert-posit16
3×associate-/r*
2×pow-prod-down *-commutative
1×clear-num sub-neg frac-2neg flip3-- diff-log frac-sub flip-- sub-div associate-/l/
Counts
4 → 185
Calls
4 calls:
13.0ms
(/ (/ y z) z)
11.0ms
(* 36.527041698806414 (/ y z))
15.0ms
(- (* t (/ (/ y z) z)) (* 36.527041698806414 (/ y z)))
26.0ms
(* t (/ (/ y z) z))

series199.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(/ (/ y z) z)
32.0ms
(* 36.527041698806414 (/ y z))
91.0ms
(- (* t (/ (/ y z) z)) (* 36.527041698806414 (/ y z)))
54.0ms
(* t (/ (/ y z) z))

simplify1.6s

Counts
197 → 197
Iterations
IterNodes
done5000
22405
1729
0273

prune1.1s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.2b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ t z) 36.527041698806414)
0.0b
(+ (/ (* y (- (/ t z) 36.527041698806414)) z) (* y 3.13060547623))
1.1b
(/ (* y (- (/ t z) 36.527041698806414)) z)
2.9b
(* y (- (/ t z) 36.527041698806414))

rewrite137.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
12×*-un-lft-identity
11×add-cbrt-cube add-exp-log
8×add-cube-cbrt add-log-exp
6×pow1 associate-*r*
5×times-frac
4×associate-*r/ insert-posit16 difference-of-squares
3×associate-/r* sub-neg flip3-- associate-*l* flip--
2×distribute-rgt-in cbrt-undiv distribute-lft-in div-exp prod-exp cbrt-unprod distribute-lft-out-- associate-/l/
1×+-commutative clear-num sum-log frac-2neg flip3-+ diff-log pow-prod-down *-commutative flip-+ div-inv associate-/l* unswap-sqr
Counts
4 → 80
Calls
4 calls:
17.0ms
(- (/ t z) 36.527041698806414)
32.0ms
(+ (/ (* y (- (/ t z) 36.527041698806414)) z) (* y 3.13060547623))
30.0ms
(/ (* y (- (/ t z) 36.527041698806414)) z)
56.0ms
(* y (- (/ t z) 36.527041698806414))

series268.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(- (/ t z) 36.527041698806414)
87.0ms
(+ (/ (* y (- (/ t z) 36.527041698806414)) z) (* y 3.13060547623))
90.0ms
(/ (* y (- (/ t z) 36.527041698806414)) z)
62.0ms
(* y (- (/ t z) 36.527041698806414))

simplify1.1s

Counts
92 → 92
Iterations
IterNodes
done5006
21267
1380
0138

prune460.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.2b

regimes1.1s

Accuracy

97.5% (0.7b remaining)

Error of 1.1b against oracle of 0.4b and baseline of 27.3b

bsearch377.0ms

Steps
ItersRangePoint
7
2.080635594348528e+42
5.689174447694687e+43
3.866410402714096e+43
8
-1.635562913974563e+35
-4.7511682174221436e+32
-2.895393240846026e+34

simplify20.0ms

Iterations
IterNodes
done69
169
045

end0.0ms

sample2.3s

Algorithm
intervals
Results
1.9s8943×body80valid