Details

Time bar (total: 13.7s)

sample34.0ms

Algorithm
intervals
Results
15.0ms269×body80valid

simplify21.0ms

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

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 14.4b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ a (* (/ y t) b))
5.1b
(* (/ y t) z)
5.3b
(* (/ y t) b)
14.0b
(/ (+ (* (/ y t) z) x) (+ 1.0 (+ a (* (/ y t) b))))

rewrite101.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:
7.0ms
(+ a (* (/ y t) b))
20.0ms
(* (/ y t) z)
22.0ms
(* (/ y t) b)
47.0ms
(/ (+ (* (/ y t) z) x) (+ 1.0 (+ a (* (/ y t) b))))

series638.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(+ a (* (/ y t) b))
24.0ms
(* (/ y t) z)
32.0ms
(* (/ y t) b)
536.0ms
(/ (+ (* (/ y t) z) x) (+ 1.0 (+ a (* (/ y t) b))))

simplify1.4s

Counts
122 → 122
Iterations
IterNodes
done5001
22349
1487
0192

prune813.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 13.7b

localize42.0ms

Local error

Found 4 expressions with local error:

14.0b
(/ (+ (* (/ y t) z) x) (+ 1.0 (+ a (* (* (cbrt (/ y t)) (cbrt (/ y t))) (* (cbrt (/ y t)) b)))))
15.2b
(cbrt (/ y t))
15.2b
(cbrt (/ y t))
15.2b
(cbrt (/ y t))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
42×*-un-lft-identity
39×cbrt-prod times-frac
34×add-sqr-sqrt add-cube-cbrt
6×add-cbrt-cube add-exp-log
4×pow1 associate-/r* div-inv distribute-lft-out add-log-exp
3×cbrt-div pow1/3 associate-/l*
2×flip3-+ associate-/r/ flip-+ associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp
Counts
4 → 101
Calls
4 calls:
55.0ms
(/ (+ (* (/ y t) z) x) (+ 1.0 (+ a (* (* (cbrt (/ y t)) (cbrt (/ y t))) (* (cbrt (/ y t)) b)))))
2.0ms
(cbrt (/ y t))
2.0ms
(cbrt (/ y t))
2.0ms
(cbrt (/ y t))

series774.0ms

Counts
4 → 12
Calls
4 calls:
541.0ms
(/ (+ (* (/ y t) z) x) (+ 1.0 (+ a (* (* (cbrt (/ y t)) (cbrt (/ y t))) (* (cbrt (/ y t)) b)))))
76.0ms
(cbrt (/ y t))
76.0ms
(cbrt (/ y t))
82.0ms
(cbrt (/ y t))

simplify919.0ms

Counts
113 → 113
Iterations
IterNodes
done5001
21070
1313
0151

prune777.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 13.7b

localize43.0ms

Local error

Found 4 expressions with local error:

14.0b
(/ (+ (* (* (cbrt (/ y t)) (cbrt (/ y t))) (* (cbrt (/ y t)) z)) x) (+ 1.0 (+ a (* (/ y t) b))))
15.2b
(cbrt (/ y t))
15.2b
(cbrt (/ y t))
15.2b
(cbrt (/ y t))

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
42×*-un-lft-identity
39×cbrt-prod times-frac
34×add-sqr-sqrt add-cube-cbrt
6×add-cbrt-cube add-exp-log
4×pow1 associate-/r* div-inv distribute-lft-out add-log-exp
3×cbrt-div pow1/3 associate-/l*
2×flip3-+ associate-/r/ flip-+ associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp
Counts
4 → 101
Calls
4 calls:
145.0ms
(/ (+ (* (* (cbrt (/ y t)) (cbrt (/ y t))) (* (cbrt (/ y t)) z)) x) (+ 1.0 (+ a (* (/ y t) b))))
2.0ms
(cbrt (/ y t))
2.0ms
(cbrt (/ y t))
2.0ms
(cbrt (/ y t))

series804.0ms

Counts
4 → 12
Calls
4 calls:
528.0ms
(/ (+ (* (* (cbrt (/ y t)) (cbrt (/ y t))) (* (cbrt (/ y t)) z)) x) (+ 1.0 (+ a (* (/ y t) b))))
92.0ms
(cbrt (/ y t))
88.0ms
(cbrt (/ y t))
96.0ms
(cbrt (/ y t))

simplify1.4s

Counts
113 → 113
Iterations
IterNodes
done5000
21108
1313
0151

prune776.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 13.7b

localize37.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ a (* (/ y t) b))
4.2b
(* y (/ z t))
5.3b
(* (/ y t) b)
14.0b
(/ (+ (* y (/ z t)) x) (+ 1.0 (+ a (* (/ y t) b))))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
37×*-un-lft-identity
32×times-frac
29×add-cube-cbrt
16×add-cbrt-cube associate-*r* associate-*l* add-exp-log
8×pow1
6×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-/r/ *-commutative associate-/l/
1×+-commutative clear-num sum-log frac-2neg associate-*l/ associate-*r/
Counts
4 → 110
Calls
4 calls:
7.0ms
(+ a (* (/ y t) b))
21.0ms
(* y (/ z t))
20.0ms
(* (/ y t) b)
56.0ms
(/ (+ (* y (/ z t)) x) (+ 1.0 (+ a (* (/ y t) b))))

series321.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(+ a (* (/ y t) b))
28.0ms
(* y (/ z t))
33.0ms
(* (/ y t) b)
212.0ms
(/ (+ (* y (/ z t)) x) (+ 1.0 (+ a (* (/ y t) b))))

simplify1.3s

Counts
122 → 122
Iterations
IterNodes
done5000
22421
1553
0211

prune756.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 13.6b

regimes1.1s

Accuracy

23.9% (2.2b remaining)

Error of 13.6b against oracle of 11.3b and baseline of 14.3b

bsearch115.0ms

Steps
ItersRangePoint
7
3.256223097130603e+58
1.1908579938677732e+60
4.934506624270544e+58
3
-1.142954696774651e-76
-8.950291804104186e-77
-1.0654779729108285e-76

simplify12.0ms

Iterations
IterNodes
done53
153
037

end0.0ms

sample1.2s

Algorithm
intervals
Results
771.0ms8253×body80valid