Details

Time bar (total: 11.3s)

sample37.0ms

Algorithm
intervals
Results
15.0ms323×body80valid

simplify114.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
08164
116124
236124
379124
4122124
5134124
6136124
done136124

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 8.0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(* y (- x z))
7.7b
(* (* y (- x z)) t)

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
19×*-un-lft-identity
18×prod-diff
17×add-cube-cbrt
11×distribute-rgt-in distribute-lft-in
9×pow1 add-cbrt-cube add-exp-log
8×associate-*r*
4×associate-*l* pow-prod-down prod-exp associate-*r/ cbrt-unprod
2×expm1-log1p-u sub-neg flip3-- associate-*l/ *-commutative log1p-expm1-u flip-- add-log-exp
1×distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 68
Calls
2 calls:
30.0ms
(* y (- x z))
41.0ms
(* (* y (- x z)) t)

series103.0ms

Counts
2 → 6
Calls
2 calls:
51.0ms
(* y (- x z))
51.0ms
(* (* y (- x z)) t)

simplify1.2s

Counts
74 → 74
Iterations

Useful iterations: done (1.2s)

IterNodesCost
013319085
132216256
2151612652
done500212492

prune338.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (- x z) t)
6.7b
(* y (* (- x z) t))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt pow1 add-cbrt-cube add-exp-log
8×associate-*l*
7×*-un-lft-identity
5×add-cube-cbrt
4×associate-*r* pow-prod-down associate-*l/ prod-exp cbrt-unprod
2×expm1-log1p-u flip3-- associate-*r/ *-commutative log1p-expm1-u flip-- add-log-exp
1×distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 46
Calls
2 calls:
26.0ms
(* (- x z) t)
40.0ms
(* y (* (- x z) t))

series107.0ms

Counts
2 → 6
Calls
2 calls:
46.0ms
(* (- x z) t)
61.0ms
(* y (* (- x z) t))

simplify823.0ms

Counts
52 → 52
Iterations

Useful iterations: done (819.0ms)

IterNodesCost
0819223
11958220
28067900
done50007820

prune271.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

5.5b
(cbrt (* y (* (- x z) t)))
6.7b
(* y (* (- x z) t))
6.7b
(* y (* (- x z) t))
6.7b
(* y (* (- x z) t))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
19×pow1 add-cbrt-cube add-exp-log
9×associate-*l* pow-prod-down prod-exp cbrt-unprod
8×associate-*l/ associate-*r/
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u flip3-- log1p-expm1-u flip-- add-log-exp
3×associate-*r* *-commutative
2×cbrt-div
1×cbrt-prod pow1/3
Counts
4 → 79
Calls
4 calls:
20.0ms
(cbrt (* y (* (- x z) t)))
40.0ms
(* y (* (- x z) t))
39.0ms
(* y (* (- x z) t))
30.0ms
(* y (* (- x z) t))

series320.0ms

Counts
4 → 12
Calls
4 calls:
168.0ms
(cbrt (* y (* (- x z) t)))
55.0ms
(* y (* (- x z) t))
52.0ms
(* y (* (- x z) t))
46.0ms
(* y (* (- x z) t))

simplify2.4s

Counts
91 → 91
Iterations

Useful iterations: 3 (1.2s)

IterNodesCost
010520737
125618757
281217717
3449617448
done500017448

prune565.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

5.5b
(cbrt (* y (* (- x z) t)))
6.7b
(* y (* (- x z) t))
6.7b
(* y (* (- x z) t))
8.6b
(cbrt (* (- x z) t))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1 add-cbrt-cube add-exp-log
8×associate-*l/
6×add-sqr-sqrt *-un-lft-identity associate-*l* pow-prod-down prod-exp associate-*r/ add-cube-cbrt cbrt-unprod
4×expm1-log1p-u cbrt-div flip3-- log1p-expm1-u flip-- add-log-exp
2×cbrt-prod pow1/3 associate-*r* *-commutative
Counts
4 → 70
Calls
4 calls:
20.0ms
(cbrt (* y (* (- x z) t)))
34.0ms
(* y (* (- x z) t))
24.0ms
(* y (* (- x z) t))
9.0ms
(cbrt (* (- x z) t))

series489.0ms

Counts
4 → 12
Calls
4 calls:
164.0ms
(cbrt (* y (* (- x z) t)))
64.0ms
(* y (* (- x z) t))
52.0ms
(* y (* (- x z) t))
209.0ms
(cbrt (* (- x z) t))

simplify1.2s

Counts
82 → 82
Iterations

Useful iterations: done (1.1s)

IterNodesCost
014921511
135219560
2114618800
done500018212

prune628.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

regimes546.0ms

Accuracy

62.3% (2.8b remaining)

Error of 2.9b against oracle of 0.1b and baseline of 7.5b

bsearch90.0ms

Steps
ItersRangePoint
8
1.375446589264085e-118
3.6309114916949304e-116
3.5113022948880706e-116
8
-1.5371233422266502e+47
-6.459414930252532e+43
-2.1649590822028293e+46

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
015466
122466
done22466

end0.0ms

sample1.5s

Algorithm
intervals
Results
992.0ms10752×body80valid