Details

Time bar (total: 10.0m)

sample126.0ms

Algorithm
intervals
Results
95.0ms659×body80valid

simplify1.5s

Counts
1 → 1
Iterations
IterNodes
done5000
41716
3492
2161
153
019

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize56.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* (+ (* (* b b) (- 1.0 (* 3.0 a))) (* (* a a) (+ a 1.0))) 4.0) (- 1.0 (pow (+ (* a a) (* b b)) 2.0)))
0.1b
(* (* a a) (+ a 1.0))
0.3b
(pow (+ (* a a) (* b b)) 2.0)
0.7b
(* (* b b) (- 1.0 (* 3.0 a)))

rewrite176.0ms

Algorithm
rewrite-expression-head
Rules
20×associate-*r/
15×pow1 add-exp-log
14×add-cbrt-cube
12×flip3-- associate-*l/ frac-sub flip--
10×add-sqr-sqrt *-un-lft-identity
9×add-log-exp
8×frac-add add-cube-cbrt
7×flip3-+ associate-*r* flip-+
6×pow-prod-down prod-exp cbrt-unprod
4×sub-neg
3×distribute-rgt-in pow-unpow unpow-prod-down distribute-lft-in diff-log
2×associate-*l* *-commutative associate--r+ unswap-sqr
1×pow-to-exp pow-pow pow-exp distribute-lft-out associate--r- sqr-pow
Counts
4 → 94
Calls
4 calls:
103.0ms
(- (* (+ (* (* b b) (- 1.0 (* 3.0 a))) (* (* a a) (+ a 1.0))) 4.0) (- 1.0 (pow (+ (* a a) (* b b)) 2.0)))
24.0ms
(* (* a a) (+ a 1.0))
8.0ms
(pow (+ (* a a) (* b b)) 2.0)
37.0ms
(* (* b b) (- 1.0 (* 3.0 a)))

series409.0ms

Counts
4 → 12
Calls
4 calls:
148.0ms
(- (* (+ (* (* b b) (- 1.0 (* 3.0 a))) (* (* a a) (+ a 1.0))) 4.0) (- 1.0 (pow (+ (* a a) (* b b)) 2.0)))
72.0ms
(* (* a a) (+ a 1.0))
134.0ms
(pow (+ (* a a) (* b b)) 2.0)
54.0ms
(* (* b b) (- 1.0 (* 3.0 a)))

simplify463.0ms

Counts
106 → 106
Iterations
IterNodes
done5001
1992
0271

prune777.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize53.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (* 3.0 a))
0.0b
(- (* (+ (* (* b b) (- 1.0 (* 3.0 a))) (+ (pow a 3) (* (* a 1.0) a))) 4.0) (- 1.0 (pow (+ (* a a) (* b b)) 2.0)))
0.3b
(pow (+ (* a a) (* b b)) 2.0)
0.7b
(* (* b b) (- 1.0 (* 3.0 a)))

rewrite231.0ms

Algorithm
rewrite-expression-head
Rules
13×flip3-- flip--
12×associate-*l/ frac-sub
11×add-log-exp
10×pow1 associate-*r/ add-exp-log
9×add-cbrt-cube
8×add-sqr-sqrt frac-add
7×*-un-lft-identity add-cube-cbrt
6×flip3-+ flip-+
5×sub-neg
4×diff-log
3×pow-unpow unpow-prod-down associate-*r* pow-prod-down prod-exp cbrt-unprod
2×distribute-rgt-in distribute-lft-in associate--r+
1×pow-to-exp pow-pow associate-*l* pow-exp *-commutative associate--r- unswap-sqr sqr-pow
Counts
4 → 82
Calls
4 calls:
7.0ms
(- 1.0 (* 3.0 a))
148.0ms
(- (* (+ (* (* b b) (- 1.0 (* 3.0 a))) (+ (pow a 3) (* (* a 1.0) a))) 4.0) (- 1.0 (pow (+ (* a a) (* b b)) 2.0)))
16.0ms
(pow (+ (* a a) (* b b)) 2.0)
54.0ms
(* (* b b) (- 1.0 (* 3.0 a)))

series435.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(- 1.0 (* 3.0 a))
143.0ms
(- (* (+ (* (* b b) (- 1.0 (* 3.0 a))) (+ (pow a 3) (* (* a 1.0) a))) 4.0) (- 1.0 (pow (+ (* a a) (* b b)) 2.0)))
122.0ms
(pow (+ (* a a) (* b b)) 2.0)
96.0ms
(* (* b b) (- 1.0 (* 3.0 a)))

simplify574.0ms

Counts
94 → 94
Iterations
IterNodes
done5000
1911
0244

prune742.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (pow a 3) (* (* a 1.0) a))
0.0b
(- 1.0 (* 3.0 a))
0.3b
(pow (/ 1 a) -4.0)
0.7b
(* (* b b) (- 1.0 (* 3.0 a)))

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt add-exp-log
13×unpow-prod-down *-un-lft-identity add-cube-cbrt
11×pow1
9×times-frac add-cbrt-cube
8×add-log-exp
4×pow-exp
3×pow-unpow sub-neg pow-pow associate-*r* pow-prod-down prod-exp cbrt-unprod
2×distribute-rgt-in distribute-lft-in flip3-- div-exp associate-*r/ flip--
1×pow-to-exp +-commutative rec-exp sum-log flip3-+ distribute-rgt-out diff-log 1-exp unpow3 associate-*l* *-commutative flip-+ div-inv pow-flip inv-pow unswap-sqr sqr-pow
Counts
4 → 81
Calls
4 calls:
36.0ms
(+ (pow a 3) (* (* a 1.0) a))
8.0ms
(- 1.0 (* 3.0 a))
18.0ms
(pow (/ 1 a) -4.0)
35.0ms
(* (* b b) (- 1.0 (* 3.0 a)))

series503.0ms

Counts
4 → 12
Calls
4 calls:
114.0ms
(+ (pow a 3) (* (* a 1.0) a))
45.0ms
(- 1.0 (* 3.0 a))
252.0ms
(pow (/ 1 a) -4.0)
92.0ms
(* (* b b) (- 1.0 (* 3.0 a)))

simplify1.5s

Counts
93 → 93
Iterations
IterNodes
done5001
22618
1540
0180

prune469.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize112.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3))) (- a 1.0))
2.3b
(* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3)))
4.1b
(- (* (* 4.0 (+ (* (* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3))) (- a 1.0)) (* (* (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)) (* (+ 1.0 a) (- a 1.0))) (* a a)))) (+ (pow (+ (pow b 2) (* a a)) 2.0) 1.0)) (* (* (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)) (- a 1.0)) (- (* 1.0 1.0) (pow (+ (pow b 2) (* a a)) (* 2 2.0)))))
11.3b
(/ (- (* (* 4.0 (+ (* (* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3))) (- a 1.0)) (* (* (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)) (* (+ 1.0 a) (- a 1.0))) (* a a)))) (+ (pow (+ (pow b 2) (* a a)) 2.0) 1.0)) (* (* (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)) (- a 1.0)) (- (* 1.0 1.0) (pow (+ (pow b 2) (* a a)) (* 2 2.0))))) (* (* (+ (pow (+ (pow b 2) (* a a)) 2.0) 1.0) (- a 1.0)) (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0))))

rewrite23.8s

Algorithm
rewrite-expression-head
Rules
108432×frac-times
92914×associate-*r/
79176×associate-*l/
58338×flip3-- flip--
44986×flip3-+ flip-+
32864×frac-sub
32448×frac-add
16434×associate-/l/
27×add-cbrt-cube add-exp-log
26×associate-/r/
21×add-sqr-sqrt
18×pow1 associate-*r*
12×*-un-lft-identity prod-exp cbrt-unprod
9×pow-prod-down difference-of-squares
8×add-cube-cbrt
7×distribute-rgt-in sub-neg distribute-lft-in
6×add-log-exp sqr-pow
4×associate--r+
3×cbrt-undiv times-frac div-exp associate-/l*
2×unpow-prod-down cube-prod associate-*l* associate--l+ *-commutative distribute-lft-out--
1×difference-cubes clear-num associate-/r* frac-2neg diff-log div-sub div-inv unswap-sqr
Counts
4 → 33004
Calls
4 calls:
147.0ms
(* (* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3))) (- a 1.0))
65.0ms
(* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3)))
3.1s
(- (* (* 4.0 (+ (* (* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3))) (- a 1.0)) (* (* (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)) (* (+ 1.0 a) (- a 1.0))) (* a a)))) (+ (pow (+ (pow b 2) (* a a)) 2.0) 1.0)) (* (* (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)) (- a 1.0)) (- (* 1.0 1.0) (pow (+ (pow b 2) (* a a)) (* 2 2.0)))))
5.2s
(/ (- (* (* 4.0 (+ (* (* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3))) (- a 1.0)) (* (* (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)) (* (+ 1.0 a) (- a 1.0))) (* a a)))) (+ (pow (+ (pow b 2) (* a a)) 2.0) 1.0)) (* (* (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)) (- a 1.0)) (- (* 1.0 1.0) (pow (+ (pow b 2) (* a a)) (* 2 2.0))))) (* (* (+ (pow (+ (pow b 2) (* a a)) 2.0) 1.0) (- a 1.0)) (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0))))

series3.9s

Counts
4 → 12
Calls
4 calls:
122.0ms
(* (* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3))) (- a 1.0))
140.0ms
(* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3)))
1.8s
(- (* (* 4.0 (+ (* (* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3))) (- a 1.0)) (* (* (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)) (* (+ 1.0 a) (- a 1.0))) (* a a)))) (+ (pow (+ (pow b 2) (* a a)) 2.0) 1.0)) (* (* (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)) (- a 1.0)) (- (* 1.0 1.0) (pow (+ (pow b 2) (* a a)) (* 2 2.0)))))
1.9s
(/ (- (* (* 4.0 (+ (* (* (* b b) (- (pow 1.0 3) (pow (* 3.0 a) 3))) (- a 1.0)) (* (* (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)) (* (+ 1.0 a) (- a 1.0))) (* a a)))) (+ (pow (+ (pow b 2) (* a a)) 2.0) 1.0)) (* (* (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0)) (- a 1.0)) (- (* 1.0 1.0) (pow (+ (pow b 2) (* a a)) (* 2 2.0))))) (* (* (+ (pow (+ (pow b 2) (* a a)) 2.0) 1.0) (- a 1.0)) (+ (* (* 3.0 a) (+ (* 3.0 a) 1.0)) (* 1.0 1.0))))

simplify36.6s

Counts
33016 → 33016
Iterations
IterNodes
done84733
084733

prune8.8m