Details

Time bar (total: 42.3s)

sample509.0ms

Algorithm
intervals
Results
200.0ms1519×body80nan
98.0ms525×body80valid

simplify2.6s

Counts
1 → 1
Iterations

Useful iterations: 3 (57.0ms)

IterNodesCost
01718
13218
26518
317916
448716
5167116
done500116

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (- t 1.0) (log a))
0.3b
(* y (log z))
1.0b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.1b
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite459.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
19×*-un-lft-identity
15×add-cube-cbrt
13×add-cbrt-cube
12×add-exp-log log-prod
10×pow1 add-log-exp
8×associate-*r* associate-*l*
6×distribute-rgt-in distribute-lft-in
5×exp-prod
3×times-frac exp-sum prod-exp associate-/r* 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×sub-neg flip3-- frac-2neg associate-*r/ associate--l+ clear-num sum-log flip-- div-inv associate-/l/ associate-/l*
Counts
4 → 95
Calls
4 calls:
39.0ms
(* (- t 1.0) (log a))
9.0ms
(* y (log z))
98.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
307.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series658.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(* (- t 1.0) (log a))
70.0ms
(* y (log z))
229.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
268.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify1.3s

Counts
107 → 107
Iterations

Useful iterations: done (1.3s)

IterNodesCost
02311531
14931495
214661209
done50001155

prune607.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite586.0ms

Algorithm
rewrite-expression-head
Rules
112×add-sqr-sqrt
102×times-frac
62×associate-*r*
60×add-cube-cbrt *-un-lft-identity
50×unpow-prod-down
49×add-exp-log
27×prod-exp
26×sqr-pow
25×add-cbrt-cube
24×div-exp unswap-sqr
20×unpow-prod-up
15×pow-to-exp pow-exp
14×associate-*l*
10×sub-neg associate-*r/ associate-/l*
7×cbrt-unprod
6×cbrt-undiv associate-/r*
4×pow1 sqrt-div div-inv associate-/l/ add-log-exp
2×frac-2neg clear-num *-commutative
1×frac-times associate-*l/ pow-sub
Counts
4 → 226
Calls
4 calls:
24.0ms
(/ (pow a (- t 1.0)) (exp b))
72.0ms
(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
53.0ms
(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
412.0ms
(/ (* x (* (sqrt (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))) (sqrt (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))))) y)

series966.0ms

Counts
4 → 12
Calls
4 calls:
120.0ms
(/ (pow a (- t 1.0)) (exp b))
276.0ms
(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
255.0ms
(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
316.0ms
(/ (* x (* (sqrt (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))) (sqrt (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))))) y)

simplify1.6s

Counts
238 → 238
Iterations

Useful iterations: done (1.6s)

IterNodesCost
02894707
16964015
228393676
done50003670

prune1.5s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a)
1.0b
(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
1.0b
(* (pow z y) (/ (pow (* (cbrt a) (cbrt a)) (- t 1.0)) (/ (exp b) (pow (cbrt a) (- t 1.0)))))
1.1b
(/ (* x (* (sqrt (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))) (sqrt (* (pow z y) (/ (pow (* (cbrt a) (cbrt a)) (- t 1.0)) (/ (exp b) (pow (cbrt a) (- t 1.0)))))))) y)

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
659×times-frac
371×add-sqr-sqrt
323×associate-*r*
238×unpow-prod-down
223×add-cube-cbrt *-un-lft-identity
151×add-exp-log
130×unpow-prod-up
114×sqr-pow
96×div-exp
78×prod-exp
75×cbrt-prod
65×sub-neg
60×pow-exp unswap-sqr
48×pow-to-exp
27×add-cbrt-cube
14×associate-*l*
10×associate-*r/ div-inv
8×associate-/r/ cbrt-unprod
7×cbrt-undiv pow-sub
4×pow1 sqrt-div add-log-exp
3×associate-/r* associate-/l/
2×*-commutative
1×frac-times frac-2neg pow1/3 associate-*l/ clear-num associate-/l*
Counts
4 → 520
Calls
4 calls:
2.0ms
(cbrt a)
62.0ms
(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
209.0ms
(* (pow z y) (/ (pow (* (cbrt a) (cbrt a)) (- t 1.0)) (/ (exp b) (pow (cbrt a) (- t 1.0)))))
750.0ms
(/ (* x (* (sqrt (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))) (sqrt (* (pow z y) (/ (pow (* (cbrt a) (cbrt a)) (- t 1.0)) (/ (exp b) (pow (cbrt a) (- t 1.0)))))))) y)

series2.8s

Counts
4 → 12
Calls
4 calls:
280.0ms
(cbrt a)
298.0ms
(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
794.0ms
(* (pow z y) (/ (pow (* (cbrt a) (cbrt a)) (- t 1.0)) (/ (exp b) (pow (cbrt a) (- t 1.0)))))
1.5s
(/ (* x (* (sqrt (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))) (sqrt (* (pow z y) (/ (pow (* (cbrt a) (cbrt a)) (- t 1.0)) (/ (exp b) (pow (cbrt a) (- t 1.0)))))))) y)

simplify2.1s

Counts
532 → 532
Iterations

Useful iterations: done (2.0s)

IterNodesCost
095614959
1244213186
done500112700

prune4.8s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize57.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a)
0.6b
(cbrt a)
1.0b
(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
1.2b
(/ (* x (* (sqrt (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))) (sqrt (* (pow z y) (pow (* (cbrt a) (cbrt a)) (- t 1.0)))))) (* y (sqrt (/ (exp b) (pow (cbrt a) (- t 1.0))))))

rewrite450.0ms

Algorithm
rewrite-expression-head
Rules
50×add-sqr-sqrt
42×add-exp-log
37×times-frac
31×associate-*r*
30×add-cbrt-cube
24×add-cube-cbrt *-un-lft-identity
21×prod-exp
19×unpow-prod-down
15×div-exp
12×unswap-sqr
11×cbrt-unprod sqr-pow
10×associate-*r/
7×cbrt-undiv pow-to-exp associate-*l* pow-exp
6×unpow-prod-up cbrt-prod
5×sqrt-div
4×pow1 add-log-exp
3×sub-neg associate-/l/
2×pow1/3 div-inv pow-sub
1×frac-times frac-2neg associate-*l/ clear-num associate-/r* associate-/r/ *-commutative associate-/l*
Counts
4 → 124
Calls
4 calls:
2.0ms
(cbrt a)
2.0ms
(cbrt a)
64.0ms
(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
370.0ms
(/ (* x (* (sqrt (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))) (sqrt (* (pow z y) (pow (* (cbrt a) (cbrt a)) (- t 1.0)))))) (* y (sqrt (/ (exp b) (pow (cbrt a) (- t 1.0))))))

series2.3s

Counts
4 → 12
Calls
4 calls:
308.0ms
(cbrt a)
281.0ms
(cbrt a)
260.0ms
(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
1.5s
(/ (* x (* (sqrt (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))) (sqrt (* (pow z y) (pow (* (cbrt a) (cbrt a)) (- t 1.0)))))) (* y (sqrt (/ (exp b) (pow (cbrt a) (- t 1.0))))))

simplify2.2s

Counts
136 → 136
Iterations

Useful iterations: done (2.2s)

IterNodesCost
03283512
18963062
238842620
done50022608

prune1.2s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

regimes958.0ms

Accuracy

0% (1.9b remaining)

Error of 1.9b against oracle of 0.1b and baseline of 1.9b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01718
12118
done2118

end0.0ms

sample13.4s

Algorithm
intervals
Results
6.7s46220×body80nan
2.0s15394×body80valid