Details

Time bar (total: 36.7s)

sample386.0ms

Algorithm
intervals
Results
162.0ms1374×body80nan
72.0ms482×body80valid

simplify1.8s

Counts
1 → 1
Iterations

Useful iterations: 3 (32.0ms)

IterNodesCost
01718
13218
26518
318016
456016
5311416
done500016

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize48.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- t 1.0) (log a))
0.3b
(* y (log z))
0.7b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.8b
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite285.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
19×*-un-lft-identity
15×add-cube-cbrt
13×add-cbrt-cube
12×log-prod add-exp-log
10×pow1 add-log-exp
8×associate-*r* associate-*l*
6×distribute-rgt-in distribute-lft-in
5×exp-prod
3×associate-/r* times-frac exp-sum prod-exp cbrt-unprod rem-exp-log
2×cbrt-undiv exp-diff diff-log div-exp pow-prod-down associate-*l/ log-pow *-commutative distribute-lft-out-- difference-of-squares unswap-sqr
1×clear-num sum-log sub-neg frac-2neg flip3-- associate--l+ associate-*r/ div-inv flip-- associate-/l* associate-/l/
Counts
4 → 95
Calls
4 calls:
23.0ms
(* (- t 1.0) (log a))
7.0ms
(* y (log z))
71.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
179.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series607.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(* (- t 1.0) (log a))
52.0ms
(* y (log z))
204.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
288.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify832.0ms

Counts
107 → 107
Iterations

Useful iterations: done (828.0ms)

IterNodesCost
02331531
15341488
221391225
done50001208

prune939.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize75.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (pow a (- 1.0)) (exp (+ (+ (* t (- (log a))) b) (* (- (log z)) y))))
0.3b
(* t (- (log a)))
0.3b
(* (- (log z)) y)
6.4b
(* (/ x y) (/ (pow a (- 1.0)) (exp (+ (+ (* t (- (log a))) b) (* (- (log z)) y)))))

rewrite591.0ms

Algorithm
rewrite-expression-head
Rules
83×add-sqr-sqrt
75×times-frac
55×*-un-lft-identity add-cube-cbrt
49×associate-*r*
29×unpow-prod-down
28×associate-*l* add-exp-log
22×add-cbrt-cube
15×exp-sum
14×pow1
13×div-exp
11×sqr-pow
10×prod-exp unswap-sqr
8×distribute-lft-neg-in distribute-rgt-neg-in
7×associate-/l*
6×log-prod distribute-neg-in cbrt-unprod
5×distribute-lft-neg-out cbrt-undiv
4×associate-/r* exp-diff associate-/r/ log-pow add-log-exp
3×distribute-rgt-in pow-to-exp distribute-lft-in pow-prod-down pow-exp *-commutative div-inv
2×neg-mul-1 unsub-neg associate-/l/
1×neg-sub0 frac-times pow-neg clear-num frac-2neg associate-*l/ associate-*r/ distribute-rgt-neg-out pow-sub
Counts
4 → 198
Calls
4 calls:
155.0ms
(/ (pow a (- 1.0)) (exp (+ (+ (* t (- (log a))) b) (* (- (log z)) y))))
11.0ms
(* t (- (log a)))
15.0ms
(* (- (log z)) y)
394.0ms
(* (/ x y) (/ (pow a (- 1.0)) (exp (+ (+ (* t (- (log a))) b) (* (- (log z)) y)))))

series974.0ms

Counts
4 → 12
Calls
4 calls:
353.0ms
(/ (pow a (- 1.0)) (exp (+ (+ (* t (- (log a))) b) (* (- (log z)) y))))
52.0ms
(* t (- (log a)))
93.0ms
(* (- (log z)) y)
476.0ms
(* (/ x y) (/ (pow a (- 1.0)) (exp (+ (+ (* t (- (log a))) b) (* (- (log z)) y)))))

simplify600.0ms

Counts
210 → 210
Iterations

Useful iterations: done (590.0ms)

IterNodesCost
03594767
19984640
done50004266

prune2.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (pow a (- 1.0)) (exp (+ (+ (* t (- (log a))) b) (* (- (log z)) y))))
0.3b
(* t (- (log a)))
0.3b
(* (- (log z)) y)
1.2b
(* x (/ (/ (pow a (- 1.0)) (exp (+ (+ (* t (- (log a))) b) (* (- (log z)) y)))) y))

rewrite645.0ms

Algorithm
rewrite-expression-head
Rules
221×times-frac
136×add-sqr-sqrt
121×associate-*r*
116×*-un-lft-identity add-cube-cbrt
52×unpow-prod-down
29×exp-sum
23×add-exp-log
19×add-cbrt-cube
18×associate-*l* sqr-pow
14×pow1
10×div-exp
9×distribute-lft-neg-out
8×distribute-lft-neg-in distribute-rgt-neg-in exp-diff associate-/r/
7×prod-exp associate-/l* unswap-sqr
6×log-prod distribute-neg-in
5×cbrt-unprod div-inv
4×cbrt-undiv associate-/r* unsub-neg log-pow add-log-exp
3×distribute-rgt-in distribute-lft-in pow-prod-down *-commutative
2×pow-to-exp neg-mul-1 pow-exp associate-/l/
1×neg-sub0 pow-neg clear-num frac-2neg associate-*r/ distribute-rgt-neg-out pow-sub
Counts
4 → 251
Calls
4 calls:
145.0ms
(/ (pow a (- 1.0)) (exp (+ (+ (* t (- (log a))) b) (* (- (log z)) y))))
20.0ms
(* t (- (log a)))
17.0ms
(* (- (log z)) y)
440.0ms
(* x (/ (/ (pow a (- 1.0)) (exp (+ (+ (* t (- (log a))) b) (* (- (log z)) y)))) y))

series970.0ms

Counts
4 → 12
Calls
4 calls:
330.0ms
(/ (pow a (- 1.0)) (exp (+ (+ (* t (- (log a))) b) (* (- (log z)) y))))
62.0ms
(* t (- (log a)))
68.0ms
(* (- (log z)) y)
510.0ms
(* x (/ (/ (pow a (- 1.0)) (exp (+ (+ (* t (- (log a))) b) (* (- (log z)) y)))) y))

simplify896.0ms

Counts
263 → 263
Iterations

Useful iterations: done (875.0ms)

IterNodesCost
05056062
114605814
done50015492

prune2.4s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize66.0ms

Local error

Found 4 expressions with local error:

0.3b
(* t (- (log a)))
0.3b
(* (- (log z)) y)
0.3b
(* (- (log z)) y)
0.5b
(* (* x (/ (sqrt (pow a (- 1.0))) (sqrt (exp (+ (+ (* t (- (log a))) b) (* (- (log z)) y)))))) (/ (/ (sqrt (pow a (- 1.0))) (sqrt (exp (+ (+ (* t (- (log a))) b) (* (- (log z)) y))))) y))

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
438×times-frac
267×sqrt-prod
250×associate-*r*
227×add-sqr-sqrt
221×*-un-lft-identity add-cube-cbrt
63×unpow-prod-down
46×add-cbrt-cube add-exp-log
30×exp-sum
28×associate-*l*
21×pow1 sqr-pow
18×prod-exp cbrt-unprod
12×distribute-lft-neg-in cbrt-undiv distribute-rgt-neg-in div-exp
8×distribute-lft-neg-out
6×log-prod distribute-neg-in exp-diff sqrt-div pow-prod-down associate-/r/ log-pow
4×*-commutative div-inv add-log-exp
3×distribute-rgt-in neg-mul-1 distribute-lft-in unsub-neg associate-*r/ unswap-sqr
1×frac-times associate-*l/ distribute-rgt-neg-out
Counts
4 → 354
Calls
4 calls:
20.0ms
(* t (- (log a)))
19.0ms
(* (- (log z)) y)
17.0ms
(* (- (log z)) y)
1.5s
(* (* x (/ (sqrt (pow a (- 1.0))) (sqrt (exp (+ (+ (* t (- (log a))) b) (* (- (log z)) y)))))) (/ (/ (sqrt (pow a (- 1.0))) (sqrt (exp (+ (+ (* t (- (log a))) b) (* (- (log z)) y))))) y))

series714.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* t (- (log a)))
95.0ms
(* (- (log z)) y)
83.0ms
(* (- (log z)) y)
487.0ms
(* (* x (/ (sqrt (pow a (- 1.0))) (sqrt (exp (+ (+ (* t (- (log a))) b) (* (- (log z)) y)))))) (/ (/ (sqrt (pow a (- 1.0))) (sqrt (exp (+ (+ (* t (- (log a))) b) (* (- (log z)) y))))) y))

simplify1.5s

Counts
366 → 366
Iterations

Useful iterations: done (1.5s)

IterNodesCost
067115000
1241613755
done500012910

prune3.3s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes684.0ms

Accuracy

0% (1.0b remaining)

Error of 1.1b against oracle of 0.0b and baseline of 1.1b

bsearch0.0ms

simplify17.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03173
14273
25073
35273
done5273

end0.0ms

sample14.6s

Algorithm
intervals
Results
7.0s44991×body80nan
2.7s15102×body80valid