Details

Time bar (total: 42.3s)

sample371.0ms

Algorithm
intervals
Results
266.0ms1670×body80nan
41.0ms258×body80valid

simplify422.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
422.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize46.0ms

Local error

Found 4 expressions with local error:

0.4b
(+ (log (+ x y)) (log z))
0.1b
(* (- a 0.5) (log t))
0.1b
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
0.0b
(- (+ (log (+ x y)) (log z)) t)

rewrite193.0ms

Algorithm
rewrite-expression-head
Rules
30×*-un-lft-identity
19×log-prod
18×add-sqr-sqrt
15×pow1
14×add-log-exp
12×add-cube-cbrt
9×associate-+r+ log-pow distribute-lft-out
7×associate-+l+
6×distribute-rgt-in sum-log distribute-lft-in flip3-- add-cbrt-cube associate-*l/ add-exp-log flip-- distribute-lft-out--
5×associate-*l* associate-+l-
4×log-div flip3-+ diff-log associate-*r* frac-add flip-+ insert-posit16
2×associate--l- +-commutative sub-neg associate--l+ difference-of-squares
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 106
Calls
4 calls:
Slowest
116.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
46.0ms
(- (+ (log (+ x y)) (log z)) t)
21.0ms
(* (- a 0.5) (log t))
8.0ms
(+ (log (+ x y)) (log z))

series743.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
293.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
267.0ms
(- (+ (log (+ x y)) (log z)) t)
94.0ms
(* (- a 0.5) (log t))
88.0ms
(+ (log (+ x y)) (log z))

simplify7.2s

Counts
79 → 118
Calls
79 calls:
Slowest
579.0ms
(+ (* (- (pow (+ (log (+ x y)) (log z)) 3) (pow t 3)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (+ (* t t) (* (+ (log (+ x y)) (log z)) t))) (* (- (pow a 3) (pow 0.5 3)) (log t))))
547.0ms
(+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (pow a 3) (pow 0.5 3)) (log t))))
488.0ms
(+ (* (- (pow (+ (log (+ x y)) (log z)) 3) (pow t 3)) (+ a 0.5)) (* (+ (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (+ (* t t) (* (+ (log (+ x y)) (log z)) t))) (* (- (* a a) (* 0.5 0.5)) (log t))))
382.0ms
(* (- (pow a 3) (pow 0.5 3)) (log t))
329.0ms
(+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ a 0.5)) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (* a a) (* 0.5 0.5)) (log t))))

prune1.8s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (+ x y))
0.5b
(cbrt (+ x y))
0.5b
(cbrt (+ x y))
0.5b
(* (cbrt (+ x y)) (cbrt (+ x y)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
36×cbrt-prod
35×*-un-lft-identity
23×add-sqr-sqrt
18×cbrt-div
15×add-cube-cbrt
11×pow1
9×flip3-+ pow1/3 swap-sqr flip-+ distribute-lft-out
7×associate-*r* associate-*l*
6×add-exp-log
4×frac-times add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 99
Calls
4 calls:
Slowest
35.0ms
(* (cbrt (+ x y)) (cbrt (+ x y)))
3.0ms
(cbrt (+ x y))
2.0ms
(cbrt (+ x y))
2.0ms
(cbrt (+ x y))

series783.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
231.0ms
(* (cbrt (+ x y)) (cbrt (+ x y)))
216.0ms
(cbrt (+ x y))
193.0ms
(cbrt (+ x y))
142.0ms
(cbrt (+ x y))

simplify4.1s

Counts
94 → 111
Calls
94 calls:
Slowest
346.0ms
(* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (+ x y)))
318.0ms
(- (+ (* 2/3 (* x (pow (/ 1 y) 1/3))) (pow y 2/3)) (* 1/9 (* (pow x 2) (pow (/ 1 (pow y 4)) 1/3))))
290.0ms
(* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (+ (pow x 3) (pow y 3))))
255.0ms
(* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (- (* x x) (* y y))))
236.0ms
(* (cbrt (- (* x x) (* y y))) (cbrt (+ (pow x 3) (pow y 3))))

prune2.0s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(cbrt t)
0.4b
(* (cbrt t) (cbrt t))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×add-cbrt-cube insert-posit16 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 → 77
Calls
4 calls:
Slowest
12.0ms
(* (cbrt t) (cbrt t))
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)

series1.6s

Counts
4 → 12
Calls
4 calls:
Slowest
660.0ms
(cbrt t)
382.0ms
(* (cbrt t) (cbrt t))
321.0ms
(cbrt t)
271.0ms
(cbrt t)

simplify935.0ms

Counts
63 → 89
Calls
63 calls:
Slowest
140.0ms
(* (pow (* t -1) 1/3) (cbrt -1))
133.0ms
(* (pow (* t -1) 1/3) (cbrt -1))
127.0ms
(* (pow (* t -1) 1/3) (cbrt -1))
99.0ms
(* (pow (pow t 2) 1/3) (pow (cbrt -1) 2))
94.0ms
(* (* (cbrt (cbrt t)) (cbrt (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t))))

prune1.6s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize102.0ms

Local error

Found 4 expressions with local error:

5.1b
(pow t 1/3)
0.6b
(cbrt t)
0.6b
(cbrt t)
0.4b
(* (cbrt t) (pow t 1/3))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
12×cbrt-prod *-un-lft-identity add-cube-cbrt
10×add-exp-log
8×unpow-prod-down
7×associate-*r*
6×associate-*l* unswap-sqr
5×pow1 add-cbrt-cube pow1/3
4×insert-posit16 add-log-exp sqr-pow
3×pow-unpow prod-exp
2×pow-to-exp unpow1/3 pow-exp cbrt-unprod
1×pow-pow pow-prod-down pow-sqr *-commutative pow-prod-up
Counts
4 → 79
Calls
4 calls:
Slowest
16.0ms
(* (cbrt t) (pow t 1/3))
2.0ms
(pow t 1/3)
1.0ms
(cbrt t)
1.0ms
(cbrt t)

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
368.0ms
(* (cbrt t) (pow t 1/3))
281.0ms
(pow t 1/3)
279.0ms
(cbrt t)
250.0ms
(cbrt t)

simplify3.0s

Counts
56 → 91
Calls
56 calls:
Slowest
655.0ms
(* t (* (* (pow t 1/3) (pow t 1/3)) (pow t 1/3)))
528.0ms
(exp (* 1/3 (- (log -1) (log (/ -1 t)))))
234.0ms
(* (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 t)))))) (cbrt -1))
144.0ms
(* (cbrt (sqrt t)) (pow t (/ 1/3 2)))
138.0ms
(* (pow (* t -1) 1/3) (cbrt -1))

prune1.5s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

regimes1.1s

Accuracy

0% (0.2b remaining)

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

bsearch3.0ms

end0.0ms

sample13.3s

Algorithm
intervals
Results
10.2s55368×body80nan
1.3s8039×body80valid