Details

Time bar (total: 1.1m)

sample1.1s

Algorithm
intervals
Results
781.0ms264×body10240exit
185.0ms531×body80nan
59.0ms256×body80valid

simplify55.0ms

Calls
1 calls:
Slowest
55.0ms
(/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0)))

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.3b

localize23.0ms

Local error

Found 4 expressions with local error:

33.0b
(sqrt (+ (* re re) (* im im)))
0.5b
(* (log base) (log base))
0.4b
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
0.4b
(/ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log base) (log base)))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
20×add-cbrt-cube add-exp-log
12×pow1
10×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
8×associate-*l*
6×associate-*r* prod-exp cbrt-unprod
4×cbrt-undiv div-exp insert-posit16 add-log-exp
3×sqrt-prod
2×pow1/2 sqrt-div pow-prod-down log-pow *-commutative
1×pow2 rem-sqrt-square clear-num associate-/r* frac-2neg flip3-+ times-frac pow-plus pow-prod-up flip-+ div-inv associate-/l*
Calls
4 calls:
Slowest
23.0ms
(/ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log base) (log base)))
10.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
4.0ms
(* (log base) (log base))
2.0ms
(sqrt (+ (* re re) (* im im)))

series627.0ms

Calls
4 calls:
Slowest
268.0ms
(* (log base) (log base))
155.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
145.0ms
(/ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log base) (log base)))
59.0ms
(sqrt (+ (* re re) (* im im)))

simplify5.7s

Calls
49 calls:
Slowest
892.0ms
(/ (* (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (log base) (log base)) (log base))) (* (* (* (log base) (log base)) (* (log base) (log base))) (* (log base) (log base))))
575.0ms
(- (+ (log (log (sqrt (+ (* re re) (* im im))))) (log (log base))) (+ (log (log base)) (log (log base))))
501.0ms
(- (+ (log (log (sqrt (+ (* re re) (* im im))))) (log (log base))) (log (* (log base) (log base))))
481.0ms
(/ (* (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (log base) (log base)) (log base))) (* (* (* (log base) (log base)) (log base)) (* (* (log base) (log base)) (log base))))
478.0ms
(pow (- (log -1) (log (/ -1 base))) 2)

prune983.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 7.9b

localize10.0ms

Local error

Found 2 expressions with local error:

0.4b
(/ (log (/ -1 re)) (log base))
0.0b
(log (/ -1 re))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
7×pow1
5×add-exp-log log-pow
4×log-prod add-cbrt-cube associate-/l*
3×associate-/r*
2×log-div insert-posit16 div-inv add-log-exp
1×cbrt-undiv clear-num frac-2neg div-sub div-exp rem-log-exp
Calls
2 calls:
Slowest
8.0ms
(/ (log (/ -1 re)) (log base))
2.0ms
(log (/ -1 re))

series312.0ms

Calls
2 calls:
Slowest
183.0ms
(log (/ -1 re))
129.0ms
(/ (log (/ -1 re)) (log base))

simplify1.4s

Calls
44 calls:
Slowest
179.0ms
(/ (* (* (log (/ -1 re)) (log (/ -1 re))) (log (/ -1 re))) (* (* (log base) (log base)) (log base)))
175.0ms
(* -1 (/ (+ (log (/ 1 re)) (log -1)) (log (/ 1 base))))
86.0ms
(/ (log (/ -1 re)) (- (log -1) (log (/ -1 base))))
60.0ms
(/ (* (cbrt (log (/ -1 re))) (cbrt (log (/ -1 re)))) (* (cbrt (log base)) (cbrt (log base))))
53.0ms
(/ (log (/ -1 re)) (sqrt (log base)))

prune629.0ms

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 7.8b

localize37.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (/ -1 re))
0.6b
(cbrt (/ -1 re))
0.6b
(cbrt (/ -1 re))
0.5b
(* (cbrt (/ -1 re)) (cbrt (/ -1 re)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
20×cbrt-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow1
7×cbrt-div pow1/3 associate-*r* associate-*l*
6×add-exp-log
5×div-inv
4×add-cbrt-cube insert-posit16 add-log-exp
2×pow-prod-down pow-prod-up
1×pow2 frac-times pow-plus associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod
Calls
4 calls:
Slowest
10.0ms
(* (cbrt (/ -1 re)) (cbrt (/ -1 re)))
1.0ms
(cbrt (/ -1 re))
1.0ms
(cbrt (/ -1 re))
1.0ms
(cbrt (/ -1 re))

series1.2s

Calls
4 calls:
Slowest
376.0ms
(* (cbrt (/ -1 re)) (cbrt (/ -1 re)))
312.0ms
(cbrt (/ -1 re))
303.0ms
(cbrt (/ -1 re))
240.0ms
(cbrt (/ -1 re))

simplify478.0ms

Calls
53 calls:
Slowest
43.0ms
(* (pow (/ 1 (pow re 2)) 1/3) (pow (cbrt -1) 2))
39.0ms
(* (pow (/ 1 (pow re 2)) 1/3) (pow (cbrt -1) 2))
29.0ms
(* (/ -1 re) (/ -1 re))
24.0ms
(* (pow (/ 1 re) 1/3) (cbrt -1))
20.0ms
(* (pow (/ 1 re) 1/3) (cbrt -1))

prune1.3s

Pruning

22 alts after pruning (21 fresh and 1 done)

Merged error: 7.8b

localize19.0ms

Local error

Found 4 expressions with local error:

6.1b
(pow (/ -1 re) 2/3)
0.6b
(cbrt (/ -1 re))
0.4b
(/ (+ (log (pow (/ -1 re) 2/3)) (log (cbrt (/ -1 re)))) (log base))
0.3b
(+ (log (pow (/ -1 re) 2/3)) (log (cbrt (/ -1 re))))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
36×*-un-lft-identity
21×add-sqr-sqrt add-cube-cbrt
18×times-frac
15×log-pow
14×log-prod
10×pow1 distribute-lft-out
8×cbrt-prod unpow-prod-down
7×associate-+l+ associate-+r+ add-exp-log
6×add-cbrt-cube pow1/3 associate-/l*
5×distribute-rgt-out div-inv
4×insert-posit16 add-log-exp
3×cbrt-div associate-/r*
2×log-div associate-+r- flip3-+ flip-+ associate-/l/
1×pow-to-exp cbrt-undiv +-commutative clear-num sum-log pow-pow frac-2neg div-sub div-exp pow-exp
Calls
4 calls:
Slowest
18.0ms
(/ (+ (log (pow (/ -1 re) 2/3)) (log (cbrt (/ -1 re)))) (log base))
6.0ms
(+ (log (pow (/ -1 re) 2/3)) (log (cbrt (/ -1 re))))
1.0ms
(pow (/ -1 re) 2/3)
0.0ms
(cbrt (/ -1 re))

series1.8s

Calls
4 calls:
Slowest
831.0ms
(+ (log (pow (/ -1 re) 2/3)) (log (cbrt (/ -1 re))))
375.0ms
(/ (+ (log (pow (/ -1 re) 2/3)) (log (cbrt (/ -1 re)))) (log base))
300.0ms
(cbrt (/ -1 re))
252.0ms
(pow (/ -1 re) 2/3)

simplify6.2s

Calls
90 calls:
Slowest
706.0ms
(/ (+ (log (pow (/ -1 re) 2/3)) (log (pow (/ -1 re) 1/3))) (- (log -1) (log (/ -1 base))))
546.0ms
(+ (log (pow (/ -1 re) 2/3)) (log (pow (/ -1 re) 1/3)))
387.0ms
(/ (- (+ (log (* (pow (/ 1 re) 1/3) (cbrt -1))) (* 2/3 (log -1))) (* 2/3 (log re))) (log base))
298.0ms
(+ (log (* (pow (/ 1 re) 1/3) (cbrt -1))) (+ (* 2/3 (log (/ 1 re))) (* 2/3 (log -1))))
255.0ms
(- (+ (log (* (pow (/ 1 re) 1/3) (cbrt -1))) (* 2/3 (log -1))) (* 2/3 (log re)))

prune1.5s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 7.8b

regimes954.0ms

Accuracy

44.2% (12.4b remaining)

Error of 19.6b against oracle of 7.2b and baseline of 29.4b

bsearch3.9s

end0.0ms

sample36.7s

Algorithm
intervals
Results
28.9s8222×body10240exit
4.5s16241×body80nan
2.6s8000×body80valid