Details

Time bar (total: 13.4s)

sample53.0ms

Algorithm
intervals
Results
19.0ms334×body80valid

simplify2.3s

Counts
1 → 1
Iterations
IterNodes
done5000
91398
8493
7248
6209
5161
4109
363
233
115
08

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.3b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* (/ x y) (- z t)) t)
8.7b
(* (/ x y) (- z t))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
36×*-un-lft-identity prod-diff
34×add-cube-cbrt
22×distribute-rgt-in associate-+l+ distribute-lft-in
13×associate-*l*
10×times-frac
7×add-cbrt-cube add-exp-log
5×associate-*r*
4×pow1 sub-neg add-log-exp
2×expm1-log1p-u frac-times flip3-- prod-exp associate-*r/ cbrt-unprod log1p-expm1-u flip-- unswap-sqr
1×cbrt-undiv +-commutative sum-log fma-def flip3-+ div-exp pow-prod-down associate-*l/ *-commutative flip-+ div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 98
Calls
2 calls:
25.0ms
(+ (* (/ x y) (- z t)) t)
43.0ms
(* (/ x y) (- z t))

series150.0ms

Counts
2 → 6
Calls
2 calls:
62.0ms
(+ (* (/ x y) (- z t)) t)
88.0ms
(* (/ x y) (- z t))

simplify1.9s

Counts
104 → 104
Iterations
IterNodes
done5001
22503
1508
0180

prune589.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 1 expressions with local error:

3.1b
(fma (/ x y) (- z t) t)

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
0.0ms
(fma (/ x y) (- z t) t)

series40.0ms

Counts
1 → 3
Calls
1 calls:
40.0ms
(fma (/ x y) (- z t) t)

simplify1.2s

Counts
13 → 13
Iterations
IterNodes
done5001
42033
3285
294
145
025

prune404.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* z (/ x y)) (fma (- (/ x y)) t t))
2.4b
(fma (- (/ x y)) t t)
6.1b
(* z (/ x y))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
13×associate-*r*
11×*-un-lft-identity add-cube-cbrt
10×times-frac
8×add-cbrt-cube add-exp-log
5×pow1 add-log-exp
3×expm1-log1p-u associate-*l* log1p-expm1-u
2×prod-exp cbrt-unprod fma-udef unswap-sqr
1×cbrt-undiv +-commutative associate-+r+ sum-log fma-def flip3-+ div-exp pow-prod-down associate-*r/ *-commutative flip-+ div-inv
Counts
3 → 59
Calls
3 calls:
8.0ms
(+ (* z (/ x y)) (fma (- (/ x y)) t t))
0.0ms
(fma (- (/ x y)) t t)
15.0ms
(* z (/ x y))

series98.0ms

Counts
3 → 9
Calls
3 calls:
44.0ms
(+ (* z (/ x y)) (fma (- (/ x y)) t t))
34.0ms
(fma (- (/ x y)) t t)
20.0ms
(* z (/ x y))

simplify555.0ms

Counts
68 → 68
Iterations
IterNodes
done5000
21031
1288
0113

prune415.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
1.6b
(/ (- z t) (/ (cbrt y) x))
4.0b
(* (/ 1 (* (cbrt y) (cbrt y))) (/ (- z t) (/ (cbrt y) x)))

rewrite195.0ms

Algorithm
rewrite-expression-head
Rules
444×times-frac
322×add-sqr-sqrt
291×*-un-lft-identity
197×add-cube-cbrt
115×associate-*r*
108×cbrt-prod
87×add-exp-log
45×distribute-lft-out-- difference-of-squares
36×div-exp
35×add-cbrt-cube
30×prod-exp
22×associate-/r*
18×cbrt-undiv
14×div-inv
12×cbrt-unprod unswap-sqr
7×associate-*l*
6×pow1 rec-exp 1-exp
5×associate-/l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×pow1/3 associate-/r/ associate-/l/
1×frac-times clear-num frac-2neg flip3-- div-sub pow-prod-down associate-*l/ associate-*r/ *-commutative flip--
Counts
4 → 361
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
29.0ms
(/ (- z t) (/ (cbrt y) x))
135.0ms
(* (/ 1 (* (cbrt y) (cbrt y))) (/ (- z t) (/ (cbrt y) x)))

series860.0ms

Counts
4 → 12
Calls
4 calls:
260.0ms
(cbrt y)
240.0ms
(cbrt y)
241.0ms
(/ (- z t) (/ (cbrt y) x))
118.0ms
(* (/ 1 (* (cbrt y) (cbrt y))) (/ (- z t) (/ (cbrt y) x)))

simplify821.0ms

Counts
373 → 373
Iterations
IterNodes
done5000
11797
0471

prune1.8s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes399.0ms

Accuracy

36.4% (1.3b remaining)

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

bsearch93.0ms

Steps
ItersRangePoint
8
3.6695574381257093e+18
3.1351826760999994e+22
3.728411986898782e+18
10
-9.814816680051276e-32
-7.874910025890794e-42
-4.723193511360802e-34

simplify3.0ms

Iterations
IterNodes
done31
131
022

end0.0ms

sample1.2s

Algorithm
intervals
Results
541.0ms10569×body80valid