Details

Time bar (total: 28.4s)

sample288.0ms

Algorithm
intervals
Results
118.0ms1165×body80nan
33.0ms365×body80valid
5.0ms18×body320valid
4.0ms9×body640valid
2.0ms11×body160valid
2.0ms2×body1280valid

simplify830.0ms

Counts
1 → 1
Iterations
IterNodes
done5001
51299
4353
3127
258
130
017

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.5b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (log z) t)
0.2b
(* y (- (log z) t))
0.5b
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
5.3b
(log (- 1.0 z))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
30×log-prod
26×add-sqr-sqrt *-un-lft-identity
25×associate--l+
17×distribute-rgt-in distribute-lft-in
14×associate-+r+ add-cube-cbrt
10×associate-+l+ associate-*r/
9×pow1
7×sub-neg flip3-- add-exp-log flip-- distribute-lft-out-- add-log-exp
6×add-cbrt-cube associate-*r*
5×difference-of-squares
4×frac-add
3×associate-*l* log-pow
2×log-div
1×+-commutative sum-log flip3-+ diff-log rem-log-exp pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 106
Calls
4 calls:
10.0ms
(- (log z) t)
23.0ms
(* y (- (log z) t))
27.0ms
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
4.0ms
(log (- 1.0 z))

series490.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(- (log z) t)
99.0ms
(* y (- (log z) t))
238.0ms
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
70.0ms
(log (- 1.0 z))

simplify697.0ms

Counts
118 → 118
Iterations
IterNodes
done5000
22201
1617
0241

prune879.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize64.0ms

Local error

Found 4 expressions with local error:

0.0b
(* x (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (/ 1/2 1.0) (/ (pow z 2) 1.0))) b)))))
0.0b
(- (log z) t)
0.2b
(* y (- (log z) t))
0.5b
(+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (/ 1/2 1.0) (/ (pow z 2) 1.0))) b)))

rewrite421.0ms

Algorithm
rewrite-expression-head
Rules
45×associate--l+
23×add-sqr-sqrt
21×log-prod *-un-lft-identity
19×distribute-rgt-in distribute-lft-in
18×associate-+r+
15×add-cube-cbrt
11×sub-neg
10×pow1 associate-+l+ associate-*r* associate-*r/
8×add-cbrt-cube
7×add-exp-log add-log-exp
6×flip3-- associate-*l* flip--
4×frac-add distribute-lft-out--
2×pow-prod-down prod-exp log-pow *-commutative cbrt-unprod difference-of-squares unswap-sqr
1×+-commutative sum-log flip3-+ diff-log exp-sum flip-+
Counts
4 → 113
Calls
4 calls:
268.0ms
(* x (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (/ 1/2 1.0) (/ (pow z 2) 1.0))) b)))))
9.0ms
(- (log z) t)
36.0ms
(* y (- (log z) t))
103.0ms
(+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (/ 1/2 1.0) (/ (pow z 2) 1.0))) b)))

series788.0ms

Counts
4 → 12
Calls
4 calls:
291.0ms
(* x (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (/ 1/2 1.0) (/ (pow z 2) 1.0))) b)))))
96.0ms
(- (log z) t)
98.0ms
(* y (- (log z) t))
302.0ms
(+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (/ 1/2 1.0) (/ (pow z 2) 1.0))) b)))

simplify918.0ms

Counts
125 → 125
Iterations
IterNodes
done5000
22427
1630
0239

prune1.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize64.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* (pow 1.0 a) (pow z y)) x)
0.4b
(+ (* t y) (+ (* (* (pow z 2) a) 0.5) (+ (* (* 1.0 z) a) (* b a))))
0.5b
(/ (* (* (pow 1.0 a) (pow z y)) x) (exp (+ (* t y) (+ (* (* (pow z 2) a) 0.5) (+ (* (* 1.0 z) a) (* b a))))))
2.9b
(* (pow z 2) a)

rewrite965.0ms

Algorithm
rewrite-expression-head
Rules
56×add-exp-log
41×prod-exp
20×add-cbrt-cube
16×add-sqr-sqrt
13×pow-to-exp pow-exp add-log-exp
11×div-exp
10×*-un-lft-identity add-cube-cbrt
9×associate-*l*
7×cbrt-unprod
6×pow1 sum-log associate-*r*
4×associate-/r* unpow-prod-down times-frac unswap-sqr
3×cbrt-undiv
2×exp-sum *-commutative unpow2 sqr-pow
1×+-commutative associate-+r+ clear-num frac-2neg flip3-+ pow-prod-down flip-+ div-inv associate-/l*
Counts
4 → 99
Calls
4 calls:
37.0ms
(* (* (pow 1.0 a) (pow z y)) x)
195.0ms
(+ (* t y) (+ (* (* (pow z 2) a) 0.5) (+ (* (* 1.0 z) a) (* b a))))
717.0ms
(/ (* (* (pow 1.0 a) (pow z y)) x) (exp (+ (* t y) (+ (* (* (pow z 2) a) 0.5) (+ (* (* 1.0 z) a) (* b a))))))
10.0ms
(* (pow z 2) a)

series1.1s

Counts
4 → 12
Calls
4 calls:
354.0ms
(* (* (pow 1.0 a) (pow z y)) x)
131.0ms
(+ (* t y) (+ (* (* (pow z 2) a) 0.5) (+ (* (* 1.0 z) a) (* b a))))
549.0ms
(/ (* (* (pow 1.0 a) (pow z y)) x) (exp (+ (* t y) (+ (* (* (pow z 2) a) 0.5) (+ (* (* 1.0 z) a) (* b a))))))
33.0ms
(* (pow z 2) a)

simplify1.7s

Counts
111 → 111
Iterations
IterNodes
done5000
23899
1591
0210

prune881.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize89.0ms

Local error

Found 4 expressions with local error:

0.4b
(+ (* (+ b (* 1.0 z)) a) (+ (* y t) (* a (* (* z z) 0.5))))
0.5b
(/ (* (* (pow 1.0 a) (pow z y)) x) (exp (cbrt (pow (+ (* (+ b (* 1.0 z)) a) (+ (* y t) (* a (* (* z z) 0.5)))) 3))))
2.9b
(* a (* (* z z) 0.5))
31.8b
(cbrt (pow (+ (* (+ b (* 1.0 z)) a) (+ (* y t) (* a (* (* z z) 0.5)))) 3))

rewrite317.0ms

Algorithm
rewrite-expression-head
Rules
37×add-exp-log
25×prod-exp
22×add-cbrt-cube
13×pow1
12×cbrt-prod
11×div-exp
10×add-sqr-sqrt *-un-lft-identity flip3-+ add-cube-cbrt flip-+
9×cbrt-unprod add-log-exp
8×associate-*l/ frac-add
6×cube-div pow-to-exp cbrt-div pow-prod-down pow-exp
3×cbrt-undiv associate-/r* sum-log unpow-prod-down times-frac cube-prod associate-*l*
1×cube-mult +-commutative associate-+r+ clear-num frac-2neg pow1/3 unpow3 associate-*r* *-commutative rem-cbrt-cube div-inv associate-/l* sqr-pow
Counts
4 → 96
Calls
4 calls:
26.0ms
(+ (* (+ b (* 1.0 z)) a) (+ (* y t) (* a (* (* z z) 0.5))))
200.0ms
(/ (* (* (pow 1.0 a) (pow z y)) x) (exp (cbrt (pow (+ (* (+ b (* 1.0 z)) a) (+ (* y t) (* a (* (* z z) 0.5)))) 3))))
55.0ms
(* a (* (* z z) 0.5))
31.0ms
(cbrt (pow (+ (* (+ b (* 1.0 z)) a) (+ (* y t) (* a (* (* z z) 0.5)))) 3))

series916.0ms

Counts
4 → 12
Calls
4 calls:
134.0ms
(+ (* (+ b (* 1.0 z)) a) (+ (* y t) (* a (* (* z z) 0.5))))
547.0ms
(/ (* (* (pow 1.0 a) (pow z y)) x) (exp (cbrt (pow (+ (* (+ b (* 1.0 z)) a) (+ (* y t) (* a (* (* z z) 0.5)))) 3))))
53.0ms
(* a (* (* z z) 0.5))
182.0ms
(cbrt (pow (+ (* (+ b (* 1.0 z)) a) (+ (* y t) (* a (* (* z z) 0.5)))) 3))

simplify461.0ms

Counts
108 → 108
Iterations
IterNodes
done5001
1914
0275

prune917.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes623.0ms

Accuracy

0% (0.2b remaining)

Error of 0.5b against oracle of 0.3b and baseline of 0.5b

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
done31
131
025

end0.0ms

sample13.8s

Algorithm
intervals
Results
6.9s41264×body80nan
1.7s12462×body80valid
207.0ms351×body640valid
158.0ms381×body320valid
66.0ms65×body1280valid
58.0ms265×body160valid