Details

Time bar (total: 15.0s)

sample41.0ms

Algorithm
intervals
Results
19.0ms349×body80valid

simplify130.0ms

Counts
1 → 1
Iterations
IterNodes
done131
6131
5129
4117
378
236
116
08

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize11.0ms

Local error

Found 1 expressions with local error:

6.1b
(* (- x z) (* t y))

rewrite40.0ms

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

series72.0ms

Counts
1 → 3
Calls
1 calls:
72.0ms
(* (- x z) (* t y))

simplify1.3s

Counts
27 → 27
Iterations
IterNodes
done5024
31779
2480
1152
058

prune106.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite61.0ms

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

series106.0ms

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

simplify2.4s

Counts
52 → 52
Iterations
IterNodes
done5002
32734
2646
1202
083

prune262.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
0.8b
(* (* (* (- x z) t) (* (cbrt y) (cbrt y))) (cbrt y))
3.4b
(* (* (- x z) t) (* (cbrt y) (cbrt y)))

rewrite248.0ms

Algorithm
rewrite-expression-head
Rules
34×pow1 add-exp-log
21×add-cbrt-cube pow-prod-down prod-exp cbrt-unprod
10×associate-*l/
9×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×associate-*r*
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×flip3-- pow1/3 associate-*l* *-commutative flip--
Counts
4 → 86
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
188.0ms
(* (* (* (- x z) t) (* (cbrt y) (cbrt y))) (cbrt y))
55.0ms
(* (* (- x z) t) (* (cbrt y) (cbrt y)))

series763.0ms

Counts
4 → 12
Calls
4 calls:
187.0ms
(cbrt y)
203.0ms
(cbrt y)
97.0ms
(* (* (* (- x z) t) (* (cbrt y) (cbrt y))) (cbrt y))
277.0ms
(* (* (- x z) t) (* (cbrt y) (cbrt y)))

simplify1.3s

Counts
98 → 98
Iterations
IterNodes
done5000
21381
1365
0128

prune374.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
16×pow1 associate-*l/ add-exp-log
12×add-cbrt-cube
8×pow-prod-down prod-exp cbrt-unprod
6×cbrt-div
4×add-sqr-sqrt expm1-log1p-u *-un-lft-identity flip3-- add-cube-cbrt log1p-expm1-u flip-- add-log-exp
3×cbrt-prod pow1/3
1×associate-*r* associate-*l* *-commutative
Counts
4 → 65
Calls
4 calls:
59.0ms
(* (* (- x z) t) (* (cbrt y) (cbrt y)))
32.0ms
(cbrt (* (* (- x z) t) (* (cbrt y) (cbrt y))))
31.0ms
(cbrt (* (* (- x z) t) (* (cbrt y) (cbrt y))))
37.0ms
(cbrt (* (* (- x z) t) (* (cbrt y) (cbrt y))))

series1.9s

Counts
4 → 12
Calls
4 calls:
250.0ms
(* (* (- x z) t) (* (cbrt y) (cbrt y)))
535.0ms
(cbrt (* (* (- x z) t) (* (cbrt y) (cbrt y))))
547.0ms
(cbrt (* (* (- x z) t) (* (cbrt y) (cbrt y))))
555.0ms
(cbrt (* (* (- x z) t) (* (cbrt y) (cbrt y))))

simplify3.2s

Counts
77 → 77
Iterations
IterNodes
done5000
34953
21251
1383
0143

prune587.0ms

Pruning

8 alts after pruning (4 fresh and 4 done)

Merged error: 0.0b

regimes682.0ms

Accuracy

93.2% (0.5b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 6.7b

bsearch1.0ms

simplify5.0ms

Iterations
IterNodes
done32
132
025

end0.0ms

sample1.1s

Algorithm
intervals
Results
626.0ms10783×body80valid