Details

Time bar (total: 35.2s)

sample338.0ms

Algorithm
intervals
Results
174.0ms1465×body80nan
52.0ms473×body80valid

simplify2.4s

Counts
1 → 1
Iterations

Useful iterations: 3 (65.0ms)

IterNodesCost
01718
13218
26518
317916
448716
5167116
done500116

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite455.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:
42.0ms
(* (- t 1.0) (log a))
15.0ms
(* y (log z))
261.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
133.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series583.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(* (- t 1.0) (log a))
44.0ms
(* y (log z))
262.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
188.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify1.2s

Counts
107 → 107
Iterations

Useful iterations: done (1.2s)

IterNodesCost
02311531
14931495
214651209
done50001155

prune596.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow a (- t 1.0))
0.2b
(/ (* (pow a (- t 1.0)) (pow z y)) (exp b))
0.5b
(* (pow a (- t 1.0)) (pow z y))
0.8b
(/ x (/ y (/ (* (pow a (- t 1.0)) (pow z y)) (exp b))))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
201×times-frac
109×add-sqr-sqrt
97×*-un-lft-identity
95×add-cube-cbrt
68×add-exp-log
43×div-exp
29×associate-/r*
27×prod-exp
25×add-cbrt-cube
19×pow-to-exp pow-exp
18×div-inv
15×unpow-prod-down
11×cbrt-undiv
9×associate-*l* unswap-sqr sqr-pow
7×associate-*r*
5×pow1 pow-unpow associate-/r/
4×unpow-prod-up associate-/l* add-log-exp
3×cbrt-unprod pow-sub
2×sub-neg frac-2neg associate-*l/ clear-num
1×pow-pow *-commutative associate-/l/ distribute-lft-out-- difference-of-squares
Counts
4 → 230
Calls
4 calls:
9.0ms
(pow a (- t 1.0))
27.0ms
(/ (* (pow a (- t 1.0)) (pow z y)) (exp b))
34.0ms
(* (pow a (- t 1.0)) (pow z y))
31.0ms
(/ x (/ y (/ (* (pow a (- t 1.0)) (pow z y)) (exp b))))

series893.0ms

Counts
4 → 12
Calls
4 calls:
77.0ms
(pow a (- t 1.0))
313.0ms
(/ (* (pow a (- t 1.0)) (pow z y)) (exp b))
174.0ms
(* (pow a (- t 1.0)) (pow z y))
329.0ms
(/ x (/ y (/ (* (pow a (- t 1.0)) (pow z y)) (exp b))))

simplify2.7s

Counts
242 → 242
Iterations

Useful iterations: done (2.7s)

IterNodesCost
04605216
110964937
241844617
done50014584

prune1.3s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt y) (cbrt y))
0.5b
(cbrt y)
0.5b
(cbrt y)
0.5b
(cbrt y)

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×pow1/3
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×add-cbrt-cube add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 73
Calls
4 calls:
16.0ms
(* (cbrt y) (cbrt y))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series1.5s

Counts
4 → 12
Calls
4 calls:
684.0ms
(* (cbrt y) (cbrt y))
297.0ms
(cbrt y)
289.0ms
(cbrt y)
222.0ms
(cbrt y)

simplify4.5s

Counts
85 → 85
Iterations

Useful iterations: done (4.5s)

IterNodesCost
061524
1115417
2319397
31092379
44427374
done5001364

prune387.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (exp b) (pow a 1.0))
0.0b
(/ y (/ (* (pow a t) (pow z y)) (* (exp b) (pow a 1.0))))
0.4b
(* (pow a t) (pow z y))
0.8b
(/ x (/ y (/ (* (pow a t) (pow z y)) (* (exp b) (pow a 1.0)))))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
309×add-exp-log
204×div-exp
151×times-frac
144×prod-exp
95×add-sqr-sqrt
78×add-cube-cbrt *-un-lft-identity
75×pow-to-exp pow-exp
51×add-cbrt-cube
25×associate-/r*
24×cbrt-undiv
22×div-inv
16×unpow-prod-down
14×associate-*r*
12×unswap-sqr
10×associate-*l* cbrt-unprod sqr-pow
6×associate-/r/ associate-/l*
4×pow1 add-log-exp
2×frac-2neg clear-num *-commutative
Counts
4 → 288
Calls
4 calls:
18.0ms
(* (exp b) (pow a 1.0))
28.0ms
(/ y (/ (* (pow a t) (pow z y)) (* (exp b) (pow a 1.0))))
17.0ms
(* (pow a t) (pow z y))
31.0ms
(/ x (/ y (/ (* (pow a t) (pow z y)) (* (exp b) (pow a 1.0)))))

series1.3s

Counts
4 → 12
Calls
4 calls:
164.0ms
(* (exp b) (pow a 1.0))
434.0ms
(/ y (/ (* (pow a t) (pow z y)) (* (exp b) (pow a 1.0))))
150.0ms
(* (pow a t) (pow z y))
524.0ms
(/ x (/ y (/ (* (pow a t) (pow z y)) (* (exp b) (pow a 1.0)))))

simplify2.5s

Counts
300 → 300
Iterations

Useful iterations: done (2.5s)

IterNodesCost
04586857
111636503
245895937
done50015887

prune1.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes477.0ms

Accuracy

72.9% (0.5b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 2.1b

bsearch2.0ms

simplify16.0ms

Iterations

Useful iterations: 2 (9.0ms)

IterNodesCost
03881
15864
26562
37162
done7162

end0.0ms

sample12.5s

Algorithm
intervals
Results
6.4s46043×body80nan
2.9s15319×body80valid