Details

Time bar (total: 39.7s)

sample447.0ms

Algorithm
intervals
Results
331.0ms1896×body80nan
43.0ms258×body80valid

simplify358.0ms

Calls
1 calls:
Slowest
357.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.3b

localize38.0ms

Local error

Found 4 expressions with local error:

0.7b
(+ (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)

rewrite201.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity
7×add-sqr-sqrt pow1 add-cube-cbrt
6×associate-+l+ flip3-- add-cbrt-cube associate-*l/ add-exp-log flip-- add-log-exp
5×associate-+l-
4×log-div flip3-+ frac-add flip-+ insert-posit16
3×log-prod associate-*r* associate-*l*
2×associate--l- +-commutative sum-log sub-neg associate--l+ distribute-lft-out
1×pow-prod-down prod-exp log-pow *-commutative cbrt-unprod
Calls
4 calls:
Slowest
146.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
44.0ms
(- (+ (log (+ x y)) (log z)) t)
5.0ms
(+ (log (+ x y)) (log z))
5.0ms
(* (- a 0.5) (log t))

series410.0ms

Calls
4 calls:
Slowest
165.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
131.0ms
(- (+ (log (+ x y)) (log z)) t)
69.0ms
(+ (log (+ x y)) (log z))
45.0ms
(* (- a 0.5) (log t))

simplify5.5s

Calls
46 calls:
Slowest
752.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))))
491.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))))
384.0ms
(- (* 0.5 (log (/ 1 t))) (+ t (+ (log (/ 1 z)) (+ (log (/ 1 x)) (* a (log (/ 1 t)))))))
370.0ms
(- (+ (* 0.5 (log (/ -1 t))) (* a (log -1))) (+ (* a (log (/ -1 t))) (* 0.5 (log -1))))
340.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))))

prune1.3s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (+ x y))
0.6b
(cbrt (+ x y))
0.6b
(cbrt (+ x y))
0.5b
(+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (cbrt (+ x y))) (log z)))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
20×cbrt-div
16×pow1
15×distribute-lft-out
11×flip3-+ flip-+
10×log-div associate-+l-
9×cbrt-prod log-pow
7×add-sqr-sqrt add-cube-cbrt
5×add-log-exp
4×frac-times add-cbrt-cube add-exp-log insert-posit16
3×sum-log pow1/3 pow-prod-down
2×associate-+r- associate-*l/ associate-*r/
1×+-commutative associate-+l+ associate-+r+ log-prod
Calls
4 calls:
Slowest
62.0ms
(+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (cbrt (+ x y))) (log z)))
1.0ms
(cbrt (+ x y))
1.0ms
(cbrt (+ x y))
1.0ms
(cbrt (+ x y))

series602.0ms

Calls
4 calls:
Slowest
200.0ms
(+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (cbrt (+ x y))) (log z)))
141.0ms
(cbrt (+ x y))
133.0ms
(cbrt (+ x y))
127.0ms
(cbrt (+ x y))

simplify3.8s

Calls
50 calls:
Slowest
479.0ms
(- (+ (log (* (pow (pow x 2) 1/3) (pow (cbrt -1) 2))) (+ (log (* (pow (* x -1) 1/3) (cbrt -1))) (log -1))) (log (/ -1 z)))
427.0ms
(+ (log (pow y 1/3)) (+ (log (pow y 2/3)) (log z)))
361.0ms
(- (+ (log (pow (/ 1 x) -2/3)) (log (pow (/ 1 x) -1/3))) (log (/ 1 z)))
307.0ms
(- (+ (pow y 1/3) (* 1/3 (* x (pow (/ 1 (pow y 2)) 1/3)))) (* 1/9 (* (pow x 2) (pow (/ 1 (pow y 5)) 1/3))))
283.0ms
(- (+ (pow y 1/3) (* 1/3 (* x (pow (/ 1 (pow y 2)) 1/3)))) (* 1/9 (* (pow x 2) (pow (/ 1 (pow y 5)) 1/3))))

prune1.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize25.0ms

Local error

Found 4 expressions with local error:

5.0b
(pow (+ x y) 1/3)
0.6b
(cbrt (+ x y))
0.6b
(cbrt (+ x y))
0.5b
(+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (pow (+ x y) 1/3)) (log z)))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
16×cbrt-div
11×pow1
9×flip3-+ flip-+ distribute-lft-out
8×log-div associate-+l-
7×add-sqr-sqrt add-cube-cbrt
6×cbrt-prod
5×add-exp-log add-log-exp
4×frac-times add-cbrt-cube log-pow insert-posit16
3×sum-log unpow-prod-down
2×pow1/3 pow-prod-down associate-*l/ associate-*r/
1×pow-to-exp +-commutative associate-+l+ associate-+r+ log-prod pow-pow unpow1/3 pow-exp
Calls
4 calls:
Slowest
26.0ms
(+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (pow (+ x y) 1/3)) (log z)))
1.0ms
(pow (+ x y) 1/3)
1.0ms
(cbrt (+ x y))
1.0ms
(cbrt (+ x y))

series627.0ms

Calls
4 calls:
Slowest
191.0ms
(+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (pow (+ x y) 1/3)) (log z)))
154.0ms
(pow (+ x y) 1/3)
142.0ms
(cbrt (+ x y))
140.0ms
(cbrt (+ x y))

simplify4.0s

Calls
45 calls:
Slowest
400.0ms
(+ (log (pow y 1/3)) (+ (log (pow y 2/3)) (log z)))
397.0ms
(- (+ (* 4/3 (log -1)) (log (* (pow (pow x 2) 1/3) (pow (cbrt -1) 2)))) (+ (* 1/3 (log (/ -1 x))) (log (/ -1 z))))
314.0ms
(- (+ (pow y 1/3) (* 1/3 (* x (pow (/ 1 (pow y 2)) 1/3)))) (* 1/9 (* (pow x 2) (pow (/ 1 (pow y 5)) 1/3))))
309.0ms
(- (+ (log (pow (/ 1 x) -2/3)) (log (pow (/ 1 x) -1/3))) (log (/ 1 z)))
273.0ms
(- (+ (pow y 1/3) (* 1/3 (* x (pow (/ 1 (pow y 2)) 1/3)))) (* 1/9 (* (pow x 2) (pow (/ 1 (pow y 5)) 1/3))))

prune1.7s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

localize19.0ms

Local error

Found 4 expressions with local error:

5.0b
(pow (+ x y) 1/3)
5.0b
(pow (+ x y) 1/3)
5.0b
(pow (+ x y) 1/3)
0.6b
(* (cbrt (+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (pow (+ x y) 1/3)) (log z)))) (cbrt (+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (pow (+ x y) 1/3)) (log z)))))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
33×*-un-lft-identity
24×pow1
18×cbrt-prod distribute-lft-out
12×cbrt-div associate-*r* associate-*l*
11×add-sqr-sqrt add-cube-cbrt
9×unpow-prod-down add-exp-log
8×log-pow
6×flip3-+ pow-prod-down flip-+
4×frac-times add-cbrt-cube pow1/3 insert-posit16 add-log-exp
3×pow-to-exp pow-pow unpow1/3 pow-exp
2×associate-*l/ associate-*r/ pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
78.0ms
(* (cbrt (+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (pow (+ x y) 1/3)) (log z)))) (cbrt (+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (pow (+ x y) 1/3)) (log z)))))
2.0ms
(pow (+ x y) 1/3)
1.0ms
(pow (+ x y) 1/3)
1.0ms
(pow (+ x y) 1/3)

series4.6s

Calls
4 calls:
Slowest
4.2s
(* (cbrt (+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (pow (+ x y) 1/3)) (log z)))) (cbrt (+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (pow (+ x y) 1/3)) (log z)))))
142.0ms
(pow (+ x y) 1/3)
141.0ms
(pow (+ x y) 1/3)
138.0ms
(pow (+ x y) 1/3)

simplify9.9s

Calls
71 calls:
Slowest
792.0ms
(* (+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (pow (+ x y) 1/3)) (log z))) (+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (pow (+ x y) 1/3)) (log z))))
741.0ms
(* (+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (pow (+ x y) 1/3)) (log z))) (+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (pow (+ x y) 1/3)) (log z))))
634.0ms
(* (cbrt (+ (pow (log (* (cbrt (+ x y)) (cbrt (+ x y)))) 3) (pow (+ (log (pow (+ x y) 1/3)) (log z)) 3))) (cbrt (- (* (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (log (* (cbrt (+ x y)) (cbrt (+ x y))))) (* (+ (log (pow (+ x y) 1/3)) (log z)) (+ (log (pow (+ x y) 1/3)) (log z))))))
600.0ms
(* (cbrt (+ (* (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (log (* (cbrt (+ x y)) (cbrt (+ x y))))) (- (* (+ (log (pow (+ x y) 1/3)) (log z)) (+ (log (pow (+ x y) 1/3)) (log z))) (* (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (pow (+ x y) 1/3)) (log z)))))) (cbrt (+ (* (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (log (* (cbrt (+ x y)) (cbrt (+ x y))))) (- (* (+ (log (pow (+ x y) 1/3)) (log z)) (+ (log (pow (+ x y) 1/3)) (log z))) (* (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (pow (+ x y) 1/3)) (log z)))))))
541.0ms
(cbrt (- (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (pow (+ x y) 1/3)) (log z))))

prune2.6s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.1b

regimes1.6s

bsearch3.0ms

end0.0ms