Details

Time bar (total: 17.4s)

sample54.0ms

Algorithm
intervals
Results
20.0ms265×body80valid

simplify45.0ms

Counts
1 → 1
Iterations
IterNodes
done49
449
347
238
126
015

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 11.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* (/ y t) z) x)
3.2b
(* (/ y t) b)
5.0b
(* (/ y t) z)
10.8b
(/ (+ (* (/ y t) z) x) (+ 1.0 (+ a (* (/ y t) b))))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
37×*-un-lft-identity
32×times-frac
29×add-cube-cbrt
26×associate-*l*
16×add-cbrt-cube add-exp-log
8×pow1
6×associate-*r* add-log-exp
4×associate-/r* prod-exp cbrt-unprod distribute-lft-out unswap-sqr
3×cbrt-undiv flip3-+ div-exp flip-+ div-inv associate-/l*
2×pow-prod-down associate-*l/ associate-/r/ *-commutative associate-/l/
1×+-commutative clear-num sum-log frac-2neg
Counts
4 → 110
Calls
4 calls:
8.0ms
(+ (* (/ y t) z) x)
17.0ms
(* (/ y t) b)
14.0ms
(* (/ y t) z)
44.0ms
(/ (+ (* (/ y t) z) x) (+ 1.0 (+ a (* (/ y t) b))))

series596.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(+ (* (/ y t) z) x)
25.0ms
(* (/ y t) b)
21.0ms
(* (/ y t) z)
513.0ms
(/ (+ (* (/ y t) z) x) (+ 1.0 (+ a (* (/ y t) b))))

simplify1.3s

Counts
122 → 122
Iterations
IterNodes
done5000
22182
1460
0182

prune909.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 10.3b

localize33.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1 (+ 1.0 (+ a (* (/ y t) b))))
3.2b
(* (/ y t) b)
5.0b
(* (/ y t) z)
10.8b
(* (+ (* (/ y t) z) x) (/ 1 (+ 1.0 (+ a (* (/ y t) b)))))

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
55×add-sqr-sqrt
53×*-un-lft-identity
46×times-frac
38×add-cube-cbrt
29×associate-*l*
27×add-exp-log
24×associate-*r*
21×add-cbrt-cube
11×pow1
8×prod-exp
7×distribute-lft-out unswap-sqr
6×div-exp cbrt-unprod
4×cbrt-undiv associate-/r* flip3-+ associate-*l/ associate-/r/ flip-+ div-inv add-log-exp
3×pow-prod-down *-commutative associate-/l*
2×frac-times rec-exp 1-exp
1×clear-num frac-2neg associate-*r/ un-div-inv pow-flip inv-pow
Counts
4 → 146
Calls
4 calls:
20.0ms
(/ 1 (+ 1.0 (+ a (* (/ y t) b))))
12.0ms
(* (/ y t) b)
12.0ms
(* (/ y t) z)
82.0ms
(* (+ (* (/ y t) z) x) (/ 1 (+ 1.0 (+ a (* (/ y t) b)))))

series614.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(/ 1 (+ 1.0 (+ a (* (/ y t) b))))
25.0ms
(* (/ y t) b)
36.0ms
(* (/ y t) z)
487.0ms
(* (+ (* (/ y t) z) x) (/ 1 (+ 1.0 (+ a (* (/ y t) b)))))

simplify3.0s

Counts
158 → 158
Iterations
IterNodes
done5000
23670
1594
0218

prune1.0s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 10.3b

localize65.0ms

Local error

Found 4 expressions with local error:

3.1b
(* (/ (cbrt y) t) z)
3.2b
(* (/ y t) b)
4.1b
(* (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) t) z))
10.8b
(/ (+ (* (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) t) z)) x) (+ 1.0 (+ a (* (/ y t) b))))

rewrite290.0ms

Algorithm
rewrite-expression-head
Rules
73×add-exp-log
50×add-sqr-sqrt
45×*-un-lft-identity times-frac
42×add-cbrt-cube associate-*l*
37×add-cube-cbrt
35×prod-exp
22×cbrt-unprod
20×div-exp
13×pow1
12×cbrt-undiv
10×cbrt-prod
7×associate-*r*
6×1-exp
5×pow-prod-down associate-*l/ unswap-sqr
4×associate-/r* div-inv distribute-lft-out add-log-exp
3×*-commutative associate-/l*
2×flip3-+ associate-/r/ flip-+ associate-/l/
1×frac-times clear-num frac-2neg associate-*r/
Counts
4 → 154
Calls
4 calls:
26.0ms
(* (/ (cbrt y) t) z)
22.0ms
(* (/ y t) b)
66.0ms
(* (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) t) z))
167.0ms
(/ (+ (* (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) t) z)) x) (+ 1.0 (+ a (* (/ y t) b))))

series935.0ms

Counts
4 → 12
Calls
4 calls:
177.0ms
(* (/ (cbrt y) t) z)
37.0ms
(* (/ y t) b)
80.0ms
(* (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) t) z))
641.0ms
(/ (+ (* (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) t) z)) x) (+ 1.0 (+ a (* (/ y t) b))))

simplify1.0s

Counts
166 → 166
Iterations
IterNodes
done5000
1809
0278

prune1.3s

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 10.3b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ a 1.0) (/ (* y b) t))
4.2b
(/ (* y z) t)
4.9b
(/ (* y b) t)
10.8b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
61×*-un-lft-identity
26×times-frac
24×distribute-lft-out
19×add-sqr-sqrt add-cube-cbrt
16×add-cbrt-cube add-exp-log
11×associate-/r*
9×add-log-exp
6×associate-/l*
5×cbrt-undiv flip3-+ div-exp flip-+
4×pow1 frac-add associate-/r/
3×clear-num sum-log frac-2neg div-inv
2×prod-exp cbrt-unprod associate-/l/
1×+-commutative associate-+l+
Counts
4 → 106
Calls
4 calls:
29.0ms
(+ (+ a 1.0) (/ (* y b) t))
14.0ms
(/ (* y z) t)
15.0ms
(/ (* y b) t)
106.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series206.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(+ (+ a 1.0) (/ (* y b) t))
24.0ms
(/ (* y z) t)
28.0ms
(/ (* y b) t)
119.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify1.7s

Counts
118 → 118
Iterations
IterNodes
done5000
22345
1490
0187

prune740.0ms

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 9.3b

regimes1.4s

Accuracy

39.4% (2.5b remaining)

Error of 13.5b against oracle of 10.9b and baseline of 15.1b

bsearch125.0ms

Steps
ItersRangePoint
8
2.1228674595085494e+48
2.915474134638951e+52
1.1697081758719511e+52
7
-4.559164575584438e-08
-1.287317029061172e-09
-1.3564917764673116e-08

simplify7.0ms

Iterations
IterNodes
done54
154
038

end0.0ms

sample1.6s

Algorithm
intervals
Results
821.0ms8287×body80valid